Login / Signup
Implementing RPO and POLO using SAT.
Peter Schneider-Kamp
Carsten Fuhs
René Thiemann
Jürgen Giesl
Elena Annov
Michael Codish
Aart Middeldorp
Harald Zankl
Published in:
Deduction and Decision Procedures (2007)
Keyphrases
</>
satisfiability problem
sat solvers
search strategies
phase transition
sat solving
database
information retrieval
website
data structure
search algorithm
lower bound
efficient implementation
sat problem
max sat