Efficient Encoding of Cost Optimal Delete-Free Planning as SAT

Masood Feyzbakhsh Rankooh, Jussi Rintanen

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

Sormenjälki

Sukella tutkimusaiheisiin 'Efficient Encoding of Cost Optimal Delete-Free Planning as SAT'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Social Sciences

Computer Science