Login / Signup
Polynomial Restrictions of SAT: What Can Be Done with an Efficient Implementation of the Davis and Putnam's Procedure?
Antoine Rauzy
Published in:
CP (1995)
Keyphrases
</>
efficient implementation
data sets
neural network
search algorithm
search space
computationally efficient
phase transition
search procedure
implementation details