Pages that link to "Item:Q3637182"
From MaRDI portal
The following pages link to Algorithms for Weighted Boolean Optimization (Q3637182):
Displayed 9 items.
- Boolean lexicographic optimization: algorithms \& applications (Q421451) (← links)
- Curriculum-based course timetabling with SAT and MaxSAT (Q475170) (← links)
- Reformulation based MaxSat robustness (Q487654) (← links)
- Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories (Q487655) (← links)
- Haplotype inference with pseudo-Boolean optimization (Q545548) (← links)
- Solving satisfiability problems with preferences (Q606909) (← links)
- A taxonomy of exact methods for partial Max-SAT (Q2434567) (← links)
- Algorithms for Solving Satisfiability Problems with Qualitative Preferences (Q2900530) (← links)
- Reducing Chaos in SAT-Like Search: Finding Solutions Close to a Given One (Q3007689) (← links)