The following pages link to (Q4262997):
Displaying 3 items.
- Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings (Q862408) (← links)
- Exploiting multivalued knowledge in variable selection heuristics for SAT solvers (Q2385440) (← links)
- Regular-SAT: A many-valued approach to solving combinatorial problems (Q2643307) (← links)