Sorting parity encodings by reusing variables

DOI10.1007/978-3-030-51825-7_1OpenAlexW3039927249MaRDI QIDQ2661327

Leroy Chew, Marijn J. H. Heule

Publication date: 7 April 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-51825-7_1

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computational aspects of satisfiability (68R07)

Related Items (2)

Generating Extended Resolution Proofs with a BDD-Based SAT Solver ⋮ Non-clausal redundancy properties

This page was built for publication: Sorting parity encodings by reusing variables