The following pages link to (Q4475628):
Displaying 9 items.
- Manipulation can be hard in tractable voting systems even for constant-sized coalitions (Q465694) (← links)
- On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes (Q505972) (← links)
- Configuration landscape analysis and backbone guided local search. I: Satisfiability and maximum satisfiability (Q814612) (← links)
- HC\_AB: a new heuristic clustering algorithm based on approximate backbone (Q1944152) (← links)
- Probabilistic logic with independence (Q2379311) (← links)
- MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability (Q2457672) (← links)
- SAT distributions with planted assignments and phase transitions between decision and optimization problems (Q2581547) (← links)
- The complete parsimony haplotype inference problem and algorithms based on integer programming, branch-and-bound and Boolean satisfiability (Q2628808) (← links)
- SAT Distributions with Phase Transitions between Decision and Optimization Problems (Q3439111) (← links)
