The following pages link to (Q4938415):
Displaying 6 items.
- Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings (Q862408) (← links)
- Using solution properties within an enumerative search to solve a sports league scheduling problem (Q944722) (← links)
- An algorithm for random signed 3-SAT with intervals (Q2637342) (← links)
- Regular-SAT: A many-valued approach to solving combinatorial problems (Q2643307) (← links)
- On Inconsistent Clause-Subsets for Max-SAT Solving (Q3523061) (← links)
- MaxSAT resolution for regular propositional logic (Q6066845) (← links)
