March_eq

swMATH548MaRDI QIDQ13303FDOQ13303

Author name not available (Why is that?)

Described by source

• Theory and Applications of Satisfiability Testing

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
• Generating SAT instances with community structure
• \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver
• Extending Clause Learning DPLL with Parity Reasoning
• 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
• Partitioning SAT Instances for Distributed Solving
• Title not available (Why is that?)

This page was built for software: March_eq