The following pages link to (Q3429161):
Displaying 14 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)
- New Encodings of Pseudo-Boolean Constraints into CNF (Q3637167) (← links)
- Algorithms for Weighted Boolean Optimization (Q3637182) (← links)
- Reasoning with Uncertain and Inconsistent OWL Ontologies (Q4647816) (← links)
- On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers (Q4649734) (← links)
- (Q5020979) (← links)
