Pages that link to "Item:Q5325846"

The following pages link to Theory and Applications of Satisfiability Testing (Q5325846):

Displaying 9 items.

• On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\) (Q400514) (← links)
• Satisfiability and computing van der Waerden numbers (Q1883655) (← links)
• \textsc{Conjure}: automatic generation of constraint models from problem specifications (Q2163883) (← links)
• The SAT+CAS method for combinatorial search with applications to best matrices (Q2294574) (← links)
• A novel SAT solver for the van der Waerden numbers (Q2338161) (← links)
• Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer (Q2818017) (← links)
• Finding Lean Induced Cycles in Binary Hypercubes (Q3637155) (← links)
• Green-Tao Numbers and SAT (Q4930604) (← links)
• Theory and Applications of Satisfiability Testing (Q5713706) (← links)