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