From Clauses to Klauses [inline-graphic not available: see fulltext].

Joseph E. Reeves Marijn J. H. Heule Randal E. Bryant

Published in: CAV (1) (2024)

Keyphrases

first order logic
search space
consequence finding
boolean formulae
horn clauses
artificial intelligence
evolutionary algorithm
lower bound
boolean satisfiability
neural network
genetic algorithm
social networks
e learning
hidden markov models