Should decisions in QCDCL follow prefix order?

Benjamin Böhm Tomás Peitl Olaf Beyersdorff

Published in: Electron. Colloquium Comput. Complex. (2022)

Keyphrases

artificial intelligence
knowledge base
object recognition
database
real time
machine learning
search engine
reinforcement learning
computational complexity
expert systems
evolutionary algorithm