Solving disjunctive temporal problems with preferences using maximum satisfiability.

Marco Maratea Luca Pulina

Published in: AI Commun. (2012)

Keyphrases

disjunctive temporal
maximum satisfiability
upper bound
optimization problems
np complete
temporal information
graph coloring