An effective algorithm for the futile questioning problem

DOI10.1007/s10817-005-0981-8zbMath1083.68050OpenAlexW2054582708MaRDI QIDQ812439

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

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

Related Items (1)

2QBF: Challenges and Solutions

Uses Software

• SATO
• Quaffle

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