ALLQBF Solving by Computational Learning

DOI10.1007/978-3-642-33386-6_29zbMath1374.68487OpenAlexW143701725MaRDI QIDQ4649309

Paolo Marin, Matthew Lewis, Bernd Becker, Rüdiger Ehlers

Publication date: 21 November 2012

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-33386-6_29

zbMATH Keywords

computational learningQBFQBF model enumeration

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

OuterCount: a first-level solution-counter for quantified Boolean formulas

Uses Software

• PaQuBE