The QBF Solver AIGSolve.

Christoph Scholl Florian Pigorsch

Published in: QBF@SAT (2016)

Keyphrases

quantified boolean formulas
reasoning tasks
decision procedures
boolean formula
quantified boolean formulae
universally quantified
propositional satisfiability
genetic algorithm
artificial intelligence
description logics
automated reasoning