An effective algorithm for the futile questioning problem

DOI10.1007/S10817-005-0981-8MaRDI QIDQ812439zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(1)

• 2QBF: challenges and solutions

Describes a project that uses

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)