Joan Espasa Arxer

Cited by

	All	Since 2019
Citations	124	88
h-index	7	6
i10-index	3	1

201420152016201720182019202020212022202320243 10 9 5 7 3 9 14 14 18 29

Public access

View all

13 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Mateu Villaret AuselleUniversitat de GironaVerified email at ima.udg.edu
Miquel Bofill ArasaUniversitat de GironaVerified email at udg.edu
Ian MiguelUniversity of St AndrewsVerified email at st-andrews.ac.uk
Ian GentProfessor of Computer Science, St Andrews UniversityVerified email at st-andrews.ac.uk
Peter NightingaleSenior Lecturer, Department of Computer Science, University of YorkVerified email at york.ac.uk
András SalamonUniversity of St AndrewsVerified email at st-andrews.ac.uk
Ruth HoffmannSchool of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk
Christopher JeffersonUniversity of St AndrewsVerified email at st-andrews.ac.uk
Alice M LynchSt Andrews UniversityVerified email at st-andrews.ac.uk
Özgür AkgünSenior Lecturer, School of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk
Matthew J. McIlreePhD Student, University of GlasgowVerified email at research.gla.ac.uk
Jordi CollUniversitat de GironaVerified email at udg.edu
Nguyen DangUniversity of St AndrewsVerified email at st-andrews.ac.uk
Josep SuyProfessor Titular (TU), Universitat de GironaVerified email at ima.udg.edu
Daniel FišerSaarland UniversityVerified email at danfis.cz
Ayal TaitlerBen-Gurion UniversityVerified email at bgu.ac.il
Gregor BehnkeILLC - University of AmsterdamVerified email at uva.nl
Enrico ScalaUniversità di BresciaVerified email at unibs.it
Ron AlfordThe MITRE CorporationVerified email at mitre.org
Javier Segovia-AguasUniversitat Pompeu FabraVerified email at upf.edu

Joan Espasa Arxer

University of St Andrews

Verified email at st-andrews.ac.uk - Homepage

Constraint programming Automated Planning Scheduling SAT SMT


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The RANTANPLAN planner: system description M Bofill, J Espasa, M Villaret The Knowledge Engineering Review 31 (5), 452-464, 2016	23	2016
Scheduling B2B meetings M Bofill, J Espasa, M Garcia, M Palahí, J Suy, M Villaret Principles and Practice of Constraint Programming: 20th International …, 2014	17	2014
Effective encodings of constraint programming models to SMT E Davidson, Ö Akgün, J Espasa, P Nightingale Principles and Practice of Constraint Programming: 26th International …, 2020	10	2020
Relaxed∃-Step Plans in Planning as SMT M Bofill, J Espasa, M Villaret Proceedings of the 26th International Joint Conference on Artificial …, 2017	9*	2017
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	8	2019
A semantic notion of interference for planning modulo theories M Bofill, J Espasa, M Villaret Proceedings of the International Conference on Automated Planning and …, 2016	8	2016
A Framework for Generating Informative Benchmark Instances N Dang, Ö Akgün, J Espasa, I Miguel, P Nightingale arXiv preprint arXiv:2205.14753, 2022	7	2022
Using small muses to explain how to solve pen and paper puzzles J Espasa, IP Gent, R Hoffmann, C Jefferson, AM Lynch, A Salamon, ... arXiv preprint arXiv:2104.15040, 2021	7	2021
Efficient SMT Encodings for the Petrobras Domain M Bofill, J Espasa, M Villaret Proceedings of the 13th International Workshop on Constraint Modelling and …, 2014	7	2014
The 2023 International Planning Competition A Taitler, R Alford, J Espasa, G Behnke, D Fišer, M Gimelfarb, ... AI Magazine, 2024	4	2024
Plotting: a planning problem with complex transitions J Espasa Arxer, IJ Miguel, M Villaret 28th International Conference on Principles and Practice of Constraint …, 2022	4	2022
Towards generic explanations for pen and paper puzzles with MUSes J Espasa Arxer, IP Gent, R Hoffmann, C Jefferson, MJ McIlree, AM Lynch Proceedings of the SICSA eXplainable Artifical Intelligence Workshop 2021, 2021	3*	2021
Relaxing non-interference requirements in parallel plans M Bofill, J Espasa, M Villaret Logic Journal of the IGPL 29 (1), 45-71, 2021	3	2021
SMT techniques for planning problems J Espasa Arxer Universitat de Girona, 2018	3	2018
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	3	2012
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, ...	2	2016
Bridging the Gap between Structural and Semantic Similarity in Diverse Planning MF Abdelwahed, J Espasa, A Toniolo, IP Gent arXiv preprint arXiv:2310.01520, 2023	1	2023
Towards a Model of Puzznic J Espasa, IP Gent, I Miguel, P Nightingale, AZ Salamon, M Villaret arXiv preprint arXiv:2310.01503, 2023	1	2023
Towards Automatic Design of Factorio Blueprints S Patterson, J Espasa, MS Chang, R Hoffmann arXiv preprint arXiv:2310.01505, 2023	1	2023
A Good Snowman is Hard to Plan M Bofill, C Borralleras, JE Arxer, GM Teixidor, GA Patow, M Villaret ICAPS Workshop on Knowledge Engineering for Planning and Scheduling (KEPS …, 2023	1	2023

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors