Joan Espasa Arxer

Cited by

	All	Since 2019
Citations	103	66
h-index	7	5
i10-index	3	1

201420152016201720182019202020212022202320244 11 9 5 6 4 9 14 12 19 8

Public access

View all

11 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
Peter NightingaleUniversity of YorkVerified email at york.ac.uk
Ian GentProfessor of Computer Science, St Andrews UniversityVerified email at st-andrews.ac.uk
Özgür AkgünLecturer, School of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk
Ruth HoffmannSchool of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk
András SalamonUniversity 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
Matthew J. McIlreePhD Student, University of GlasgowVerified email at research.gla.ac.uk
Josep SuyProfessor Titular (TU), Universitat de GironaVerified email at ima.udg.edu
Jordi CollUniversitat de GironaVerified email at udg.edu
Nguyen DangUniversity of St AndrewsVerified email at st-andrews.ac.uk
Cristina BorrallerasUniversity of VicVerified email at uvic.cat
Gustavo PatowProfessor at the Department of Computer Science and Applied Mathematics, Universitat deVerified email at imae.udg.edu
Mustafa F. AbdelwahedPhD, University of St AndrewsVerified email at st-andrews.ac.uk
Alice TonioloUniversity of St AndrewsVerified email at st-andrews.ac.uk
Daniel FišerSaarland UniversityVerified email at danfis.cz
Ayal TaitlerUniversity of TorontoVerified email at utoronto.ca

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	21	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	19	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
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
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	7	2019
Relaxed∃-Step Plans in Planning as SMT M Bofill, J Espasa, M Villaret Proceedings of the 26th International Joint Conference on Artificial …, 2017	7*	2017
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
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	5	2021
A Framework for Generating Informative Benchmark Instances N Dang, Ö Akgün, J Espasa, I Miguel, P Nightingale arXiv preprint arXiv:2205.14753, 2022	3	2022
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
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
Plotting: a planning problem with complex transitions J Espasa Arxer, IJ Miguel, M Villaret 28th International Conference on Principles and Practice of Constraint …, 2022	2	2022
SMT techniques for planning problems J Espasa Arxer Universitat de Girona, 2018	2	2018
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
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
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	1	2021
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	1	2020
The 2023 International Planning Competition A Taitler, R Alford, J Espasa, G Behnke, D Fišer, M Gimelfarb, ... AI Magazine, 2024		2024
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		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