Complete local search for propositional satisfiability

Conference Proceeding

International Standard Book Number (isbn) 10

  • 0-262-51183-5
  • Start Page

  • 161
  • End Page

  • 166