Given Clause Loops.

Jasmin Christian Blanchette Qi Qiu Sophie Tourret

Published in: Arch. Formal Proofs (2023)

Keyphrases

search space
theorem prover
bayesian networks
boolean formula
decision trees
search algorithm
horn clauses