Login / Signup

Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers.

Marco MarateaFrancesco RiccaWolfgang FaberNicola Leone
Published in: J. Algorithms (2008)
Keyphrases
  • gold standard
  • quantitative evaluation
  • evaluation methods
  • search algorithm
  • comprehensive evaluation
  • real world
  • information systems
  • case study
  • high level
  • heuristic search
  • evaluation method
  • pilot testing