On Improving Local Search for Unsatisfiability

AuthID
 P-017-GFD
3
Author(s)
Pereira, D
·
Prestwich, SD
2
Editor(s)
Deville,Y;Solnon,C
Document Type
Proceedings Paper
Year published
2009
Published
in Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, LSCS 2009, Lisbon, Portugal, 20 September 2009. in EPTCS
Volume: 5, Pages: 41-53
Indexing
Dblp®/en/publications/view/1294829
Arxiv®
Publication Identifiers
Arxiv: 0910.1244
Dblp: journals/corr/abs-0910-1244
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service