Solving disjunctive temporal problems with preferences using maximum satisfiability

DOI10.3233/AIC-2012-0527zbMath1248.68459OpenAlexW1603727575MaRDI QIDQ3164971

Luca Pulina, Marco Maratea

Publication date: 25 October 2012

Published in: AI Communications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/aic-2012-0527

zbMATH Keywords

optimizationdisjunctive temporal problems

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

Translation-based approaches for solving disjunctive temporal problems with preferences

Uses Software

• Yices
• MiniMaxSat