Comparison of PBO solvers in a dependency solving domain

Paulo Trezentos

Published in: LoCoCo (2010)

Keyphrases

domain independent
combinatorial optimization
sat instances
constraint problems
database
data sets
search heuristics
information retrieval
search engine
information systems
orders of magnitude
domain ontology
solving problems
eigenvalue problems