Effective auxiliary variables via structured reencoding

DOI10.4230/LIPICS.SAT.2023.11MaRDI QIDQ6643087

Harrison Green, Andrew Haberlandt, Marijn J. H. Heule

Publication date: 26 November 2024

zbMATH Keywords

auxiliary variablesextended resolutionreencoding

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 (1)

SAT solving using XOR-OR-AND normal forms.

This page was built for publication: Effective auxiliary variables via structured reencoding

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