Pages that link to "Item:Q2643307"
From MaRDI portal
The following pages link to Regular-SAT: A many-valued approach to solving combinatorial problems (Q2643307):
Displaying 6 items.
- Constraint-directed search for all-interval series (Q1699523) (← links)
- The SAT+CAS method for combinatorial search with applications to best matrices (Q2294574) (← links)
- Compiling problem specifications into SAT (Q2457689) (← links)
- An algorithm for random signed 3-SAT with intervals (Q2637342) (← links)
- RegSTAB: A SAT Solver for Propositional Schemata (Q5747769) (← links)
- A first polynomial non-clausal class in many-valued logic (Q6083144) (← links)