Solving disjunctive temporal problems with preferences using maximum satisfiability

Academic Article
Publication Date:
2012
Short description:
Solving disjunctive temporal problems with preferences using maximum satisfiability / Maratea, M., Pulina, L.. - In: AI COMMUNICATIONS. - ISSN 0921-7126. - 25:2(2012), pp. 137-156. [10.3233/AIC-2012-0527]
Iris type:
1.1 Articolo in rivista
List of contributors:
Authors of the University:
Handle:
https://iris.uniss.it/handle/11388/80113
Published in:
AI COMMUNICATIONS
Journal