Joan Espasa Arxer
Title
Cited by
Cited by
Year
Scheduling B2B meetings
M Bofill, J Espasa, M Garcia, M Palahí, J Suy, M Villaret
International Conference on Principles and Practice of Constraint …, 2014
142014
The RANTANPLAN planner: system description
M Bofill, J Espasa, M Villaret
The Knowledge Engineering Review 31 (5), 452-464, 2016
132016
The RANTANPLAN planner: system description
MV M Bofill, J Espasa
Workshop on Constraint Satisfaction Techniques for Planning and Scheduling …, 2015
13*2015
A semantic notion of interference for planning modulo theories
M Bofill, J Espasa, M Villaret
Proceedings of the Twenty-Sixth International Conference on International …, 2016
62016
Efficient SMT Encodings for the Petrobras Domain
M Bofill, J Espasa, M Villaret
Proceedings of the 13th International Workshop on Constraint Modelling and …, 2014
62014
Relaxed∃-Step Plans in Planning as SMT
M Bofill, J Espasa, M Villaret
Proceedings of the 26th International Joint Conference on Artificial …, 2017
42017
An extension to Simply for solving Weighted Constraint Satisfaction Problems with Pseudo-Boolean Constraints
M Bofill, J Espasa, M Palahı, M Villaret
XII Spanish Conference on Programming and Computer Languages (PROLE 2012 …, 2012
42012
Relaxing non-interference requirements in parallel plans
M Bofill, J Espasa, M Villaret
Logic Journal of the IGPL, 2019
12019
Towards Lifted Encodings for Numeric Planning in Essence Prime
J Espasa, J Coll, I Miguel, M Villaret
CP 2019 Workshop on Constraint Modelling and Reformulation, 2019
12019
Effective Encodings of Constraint Programming Models to SMT
E Davidson, Ö Akgün, J Espasa, P Nightingale
International Conference on Principles and Practice of Constraint …, 2020
2020
Exploring Instance Generation for Automated Planning
Ö Akgün, N Dang, J Espasa, I Miguel, A Salamon, C Stone
The 19th workshop on Constraint Modelling and Reformulation, 2020
2020
SMT techniques for planning problems
J Espasa Arxer
Universitat de Girona, 2018
2018
Dissertation Abstract: SAT/SMT techniques for planning problems
J ESPASA, M VILLARET
The 26th International Conference on Automated Planning and Scheduling, 102, 2016
2016
Fuzzy vs neural network models for environmental decision support system implementation aiming to standardise the multiparametric decision in a Drinking Water Plant with …
M Dalmau, H Monclús, J Espasa, N Atanasova, M Poch, P Emiliano, ...
2016
The system can't perform the operation now. Try again later.
Articles 1–14