"Translation-based approaches for solving disjunctive temporal problems ..."

Enrico Giunchiglia, Marco Maratea, Luca Pulina (2018)

Details and statistics

DOI: 10.1007/S10601-018-9293-6

access: closed

type: Journal Article

metadata version: 2022-10-02

a service of  Schloss Dagstuhl - Leibniz Center for Informatics