March_eq
From MaRDI portal
Software:13303
swMATH548MaRDI QIDQ13303FDOQ13303
Author name not available (Why is that?)
Official website: http://www.isa.ewi.tudelft.nl/sat/march_eq.htm
Cited In (18)
- 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
- Riss
- pfolioUZK
- SATGraf
- Hyperbolic graph generator
- TSAT++
- OKlibrary
- \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
