Sgen1, a generator of small but difficult satisfiability benchmarks

DOI10.1145/1671970.1671972MaRDI QIDQ5406224zbMATH OpenOpenAlexWikidataFDO

Authors I. T. A. Spence

Publication date 1 April 2014

Published in ACM Journal of Experimental Algorithmics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1671970.1671972

zbMATH Keywords

SAT-solverssatisfiability benchmarks

Mathematics Subject Classification ID

Logic in computer science (03B70) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Generating hard satisfiability problems
• scientific article; zbMATH DE number 1113991
• Generating hard satisfiable formulas by hiding solutions deceptively
• Easy problems are sometimes hard
• Balance and filtering in structured satisfiable problems. (Preliminary report)

Cited in

(13)

• Solving SAT (and MaxSAT) with a quantum annealer: foundations, encodings, and preliminary results
• Generating hard satisfiability problems
• Satisfiability by Maxwell-Boltzmann and Bose-Einstein statistical distributions
• GenB: A General Solver for AGM Revision
• Hard satisfiable clause sets for benchmarking equivalence reasoning techniques
• GoRRiLA and Hard Reality
• tts: a SAT-solver for small, difficult instances
• Generating hard satisfiable formulas by hiding solutions deceptively
• Correct Hardware Design and Verification Methods
• Theory and Applications of Satisfiability Testing
• MaxSAT Resolution and Subcube Sums
• Generating Difficult CNF Instances in Unexplored Constrainedness Regions
• A generalized method for proving polynomial calculus degree lower bounds

This page was built for publication: Sgen1, a generator of small but difficult satisfiability benchmarks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5406224)