Parameterized Complexity of Weighted Satisfiability Problems
Attributed to:
Constraint Satisfaction for Configuration: Logical Fundamentals,Algorithms, and Complexity
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-31612-8_26
Publication URI: http://dx.doi.org/10.1007/978-3-642-31612-8_26
Type: Book Chapter
Book Title: Theory and Applications of Satisfiability Testing - SAT 2012 (2012)
Page Reference: 341-354
ISBN: 978-3-642-31611-1
ISSN: 1080-5370