Author:
Publication: Artificial Intelligence
Symbolic perimeter abstraction heuristics for cost-optimal planning
Measuring inconsistency with constraints for propositional knowledge bases