Login / Signup

Lazy Reimplication in Chronological Backtracking.

Robin CoutelierMathias FleuryLaura Kovács
Published in: SAT (2024)
Keyphrases
  • artificial intelligence
  • chronological backtracking
  • propositional satisfiability
  • expert systems
  • expressive power