March_eq
From MaRDI portal
March eq
Cited in
(19)- 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
- kcnfs
- pfolioUZK
- SATGraf
- Hyperbolic graph generator
- TSAT++
- OKlibrary
- Riss
- \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