Keyphrases
- metadata
- sat solvers
- satisfiability problem
- max sat
- database
- web portals
- search algorithm
- boolean satisfiability
- sat problem
- digital collections
- digital libraries
- heterogeneous sources
- phase transition
- satisfiability testing
- propositional satisfiability
- branch and bound algorithm
- branch and bound
- constraint satisfaction
- orders of magnitude
- learning objects
- data sets