An effective algorithm for the futile questioning problem

DOI10.1007/S10817-005-0981-8zbMATH Open1083.68050OpenAlexW2054582708MaRDI QIDQ812439FDOQ812439

Authors: Anja Remshagen, Klaus Truemper 

Publication date: 23 January 2006

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-005-0981-8

Recommendations

• An algorithm to evaluate quantified Boolean formulae and its experimental evaluation
• An algorithm to evaluate quantified Boolean formulae and its experimental evaluation
• A satisfiability procedure for quantified Boolean formulae
• Contributions to the theory of practical quantified Boolean formula solving
• scientific article; zbMATH DE number 2119676

zbMATH Keywords

learningQBFfutile questioning

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Analysis of algorithms and problem complexity (68Q25)

Cited In (1)

• 2QBF: challenges and solutions

Uses Software

• SATO
• Quaffle

This page was built for publication: An effective algorithm for the futile questioning problem

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