Minimizing Models for Tseitin-Encoded SAT Instances

DOI10.1007/978-3-642-39071-5_17zbMath1390.68574OpenAlexW1536017779MaRDI QIDQ5326466

Carsten Sinz, Markus Iser, Mana Taghdiri

Publication date: 5 August 2013

Published in: Theory and Applications of Satisfiability Testing – SAT 2013 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39071-5_17

Mathematics Subject Classification ID

Related Items (1)

Recognition of Nested Gates in CNF Formulas

This page was built for publication: Minimizing Models for Tseitin-Encoded SAT Instances