scientific article
From MaRDI portal
zbMath1159.68567MaRDI QIDQ3604006
Knot Pipatsrisawat, Arthur Choi, Mark Chavira, Akop Palyan, Adnan Darwiche
Publication date: 24 February 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Resolution-based lower bounds in MaxSAT, Boolean lexicographic optimization: algorithms \& applications, Incomplete inference for graph problems, A taxonomy of exact methods for partial Max-SAT, Curriculum-based course timetabling with SAT and MaxSAT, Algorithms for Weighted Boolean Optimization, Iterative and core-guided maxsat solving: a survey and assessment
Uses Software