Pages that link to "Item:Q4933318"
From MaRDI portal
The following pages link to Partitioning SAT Instances for Distributed Solving (Q4933318):
Displaying 5 items.
- On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\) (Q400514) (← links)
- An Expressive Model for Instance Decomposition Based Parallel SAT Solvers (Q2964456) (← links)
- Partitioning methods for satisfiability testing on large formulas (Q4647562) (← links)
- On black-box optimization in divide-and-conquer SAT solving (Q5085259) (← links)
- Finding Effective SAT Partitionings Via Black-Box Optimization (Q5153508) (← links)