The following pages link to (Q3429161):
Displaying 9 items.
- Pueblo (Q13494) (← links)
- Haplotype inference with pseudo-Boolean optimization (Q545548) (← links)
- Solving satisfiability problems with preferences (Q606909) (← links)
- Mendelian error detection in complex pedigrees using weighted constraint satisfaction tech\-niques (Q941662) (← links)
- Learn to relax: integrating \(0-1\) integer linear programming with pseudo-Boolean conflict-driven search (Q2074664) (← links)
- On dedicated CDCL strategies for PB solvers (Q2118312) (← links)
- Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions (Q2238714) (← links)
- Iterative and core-guided maxsat solving: a survey and assessment (Q2348540) (← links)
- A logical approach to efficient Max-SAT solving (Q2389619) (← links)
