System Description: CRIL Platform for SAT.

Bertrand Mazure Lakhdar Sais Éric Grégoire

Published in: CADE (1998)

Keyphrases

high level
real time
sat solvers
data sets
neural network
satisfiability problem
website
search algorithm
mobile devices
orders of magnitude
constraint satisfaction
sat problem
stochastic local search
sat solving
modulo theories