Publications

Improving Linear Search Algorithms with Model-Based Approaches for Maxsat Solving

AuthID
P-00G-K13

Author(s)

Martins, R

Manquinho, V

Lynce, I

Document Type

Article

Year published

2015

Published

in JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, ISSN: 0952-813X

Volume: 27, Issue: 5, Pages: 673-701 (29)

Conference

20Th Rcra International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Date: JUN 14-15, 2013, Location: Rome, ITALY

Indexing

Wos^®

Scopus^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1080/0952813x.2014.993508

Scopus: 2-s2.0-84940605701

Wos: WOS:000371296300007

Source Identifiers

ISSN: 0952-813X

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Improving Linear Search Algorithms with Model-Based Approaches for Maxsat Solving

Useful Links

Get Help

Federated Authentication (Click on the image)

Improving Linear Search Algorithms with Model-Based Approaches for Maxsat Solving

Useful Links

Get Help