Login / Signup
3LB-SAT: Una herramienta de anotación semántica.
Empar Bisbal
Antonio Molina
Lidia Moreno
Ferran Pla
Maximiliano Saiz-Noeda
Emilio Sanchis Arnal
Published in:
Proces. del Leng. Natural (2003)
Keyphrases
</>
satisfiability problem
sat solvers
lower bound
sat problem
boolean satisfiability
sat solving
propositional satisfiability
search algorithm
stochastic local search
max sat
branch and bound algorithm
variable ordering
stochastic local search algorithms
randomly generated
data sets
upper bound
data structure