Encoding nested Boolean functions as quantified Boolean formulas

MaRDI QIDQ2786912zbMATH OpenFDO

Authors Hans Kleine Büning, Uwe Bubeck

Publication date 23 February 2016

Published in Journal of Satisfiability, Boolean Modeling and Computation (Search for Journal in Brave)

zbMATH Keywords

QBFencodingBoolean programNBFnested Boolean function

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Nested Boolean functions as models for quantified Boolean formulas
• Boolean functions as models for quantified Boolean formulas
• Quasi-Boolean encodings and conditionals in algebraic specification
• scientific article; zbMATH DE number 726918
• Publication:4828947
• scientific article; zbMATH DE number 1504655
• Encoding deductive argumentation in quantified Boolean formulae
• Representations of Boolean functions

Cited in

(7)

• Abstraction-based algorithm for 2QBF
• On Q-resolution and CDCL QBF solving
• Planning as quantified Boolean formula
• scientific article; zbMATH DE number 2208728 (Why is no real title available?)
• Transformations into normal forms for quantified circuits
• Complexity of fixed-size bit-vector logics
• Nested Boolean functions as models for quantified Boolean formulas

This page was built for publication: Encoding nested Boolean functions as quantified Boolean formulas

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