The following pages link to (Q3604006):
Displaying 7 items.
- Boolean lexicographic optimization: algorithms \& applications (Q421451) (← links)
- Curriculum-based course timetabling with SAT and MaxSAT (Q475170) (← links)
- Resolution-based lower bounds in MaxSAT (Q606913) (← links)
- Incomplete inference for graph problems (Q1947627) (← links)
- Iterative and core-guided maxsat solving: a survey and assessment (Q2348540) (← links)
- A taxonomy of exact methods for partial Max-SAT (Q2434567) (← links)
- Algorithms for Weighted Boolean Optimization (Q3637182) (← links)
