On Conflicts and Strategies in QBF.

Nikolaj Bjørner Mikolás Janota William Klieber

Published in: LPAR (short papers) (2015)

Keyphrases

conflict resolution
cooperative
evolutionary algorithm
neural network
real world
artificial intelligence
relational databases
search space
logic programs
propositional logic
selection strategies
resolve conflicts
quantified boolean formulas
quantified boolean formulae