scientific article
From MaRDI portal
Publication:3604006
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 (7)
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
This page was built for publication:
