Nested Boolean functions as models for quantified Boolean formulas

DOI10.1007/978-3-642-39071-5_20MaRDI QIDQ5326469zbMATH OpenOpenAlexFDO

Authors Hans Kleine Büning, Uwe Bubeck

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_20

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Classical propositional logic (03B05)

Recommendations

• Encoding nested Boolean functions as quantified Boolean formulas
• Boolean functions as models for quantified Boolean formulas
• Logic versus Approximation
• Publication:4489064
• Theory and Applications of Satisfiability Testing

Cited in

(10)

• scientific article; zbMATH DE number 5719280 (Why is no real title available?)
• Theory and Applications of Satisfiability Testing
• Logic versus Approximation
• Learning Boolean specifications
• scientific article; zbMATH DE number 1471980 (Why is no real title available?)
• Tackling universal properties of minimal trap spaces of Boolean networks
• Encoding nested Boolean functions as quantified Boolean formulas
• Recognition of Nested Gates in CNF Formulas
• The possibilistic Horn non-clausal knowledge bases
• Boolean functions as models for quantified Boolean formulas

This page was built for publication: Nested Boolean functions as models for quantified Boolean formulas

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