A new 3-CNF transformation by parallel-serial graphs

DOI10.1016/j.ipl.2008.12.013zbMath1191.68462OpenAlexW2020852751MaRDI QIDQ976123

Uwe Bubeck, Hans Kleine Büning

Publication date: 16 June 2010

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2008.12.013

zbMATH Keywords

algorithmspropositional logicsatisfiabilityconjunctive normal form

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A structure-preserving clause form translation

This page was built for publication: A new 3-CNF transformation by parallel-serial graphs