Exploring Lifted Planning Encodings in Essence Prime

von Espasa, Joan
Veröffentlicht in Associació Catalana d'Intelligència Artificial (23. : 2021 : Online) Artificial intelligence research and development (2021)

Effective Encodings of Constraint Programming Models to SMT

von Davidson, Ewan
Veröffentlicht in CP (26. : 2020 : Online) Principles and practice of constraint programming (2020)