March_eq
From MaRDI portal
Software:13303
swMATH548MaRDI QIDQ13303FDOQ13303
Author name not available (Why is that?)
Cited In (12)
- On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\)
- Logical cryptanalysis with WDSat
- Popularity-similarity random SAT formulas
- The SAT-based approach to separation logic
- Hard satisfiable clause sets for benchmarking equivalence reasoning techniques
- Partitioning SAT instances for distributed solving
- Generating SAT instances with community structure
- Extending clause learning DPLL with parity reasoning
- \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver
- Automatic construction of parallel portfolios via algorithm configuration
- Present and Future of Practical SAT Solving
- A new method to construct lower bounds for van der Waerden numbers
This page was built for software: March_eq
