Two simulations about DPLL(T)

Mahfuza Farooque Stéphane Lengrand Assia Mahboubi

Published in: CoRR (2012)

Keyphrases

sat solvers
propositional logic
np complete
first order logic
simulation model
simulation environment
data sets
neural network
website
clause learning
database
real time
search space
numerical simulations