Pages that link to "Item:Q5713706"
From MaRDI portal
The following pages link to Theory and Applications of Satisfiability Testing (Q5713706):
Displaying 9 items.
- Computer-aided proof of Erdős discrepancy properties (Q892235) (← links)
- Satisfiability and computing van der Waerden numbers (Q1883655) (← 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)
- (Q3620438) (← links)
- Finding Lean Induced Cycles in Binary Hypercubes (Q3637155) (← links)
- Theory and Applications of Satisfiability Testing (Q5325846) (← links)
- Theory and Applications of Satisfiability Testing (Q5325849) (← links)
- Automated streamliner portfolios for constraint satisfaction problems (Q6161503) (← links)