March_eq

MaRDI QIDQ13303swMATHFDO

Official website http://www.isa.ewi.tudelft.nl/sat/march_eq.htm

Described by source

• Theory and Applications of Satisfiability Testing

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