The following pages link to (Q4475627):
Displaying 6 items.
- A finite state intersection approach to propositional satisfiability (Q442157) (← links)
- Exploiting multivalued knowledge in variable selection heuristics for SAT solvers (Q2385440) (← links)
- An algorithm for random signed 3-SAT with intervals (Q2637342) (← links)
- Regular-SAT: A many-valued approach to solving combinatorial problems (Q2643307) (← links)
- (Q5687270) (← links)
- MaxSAT resolution for regular propositional logic (Q6066845) (← links)