PACE Solver Description: ADE-Solver.

Alexander Bille Dominik Brandenstein Emanuel Herrendorf

Published in: IPEC (2021)

Keyphrases

artificial intelligence
high level
constraint solving
quantified boolean formulas
real time
search engine
search space
probability distribution
logic programming