Postponing Optimization to Speed Up MAXSAT Solving

Lecture Notes in Computer Science, 2013, Vol.8124, p.247-262 [Peer Reviewed Journal]

Springer-Verlag Berlin Heidelberg 2013 ;Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0302-9743 ;ISBN: 9783642406263 ;ISBN: 3642406262 ;EISSN: 1611-3349 ;EISBN: 9783642406270 ;EISBN: 3642406270 ;DOI: 10.1007/978-3-642-40627-0_21

Full text available