Miquel Bofill Arasa
Universidad de Gerona
H-index: 16
Europe-Spain
Top articles of Miquel Bofill Arasa
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
On Grid Graph Reachability and Puzzle Games | arXiv preprint arXiv:2310.01378 | Miquel Bofill Cristina Borralleras Joan Espasa Mateu Villaret | 2023/10/2 |
A good snowman is hard to plan | arXiv preprint arXiv:2310.01471 | Miquel Bofill Cristina Borralleras Joan Espasa Gerard Martín Gustavo Patow | 2023/10/2 |
Constraint solving approaches to the business-to-business meeting scheduling problem | Journal of Artificial Intelligence Research | Miquel Bofill Jordi Coll Marc Garcia Jesús Giráldez-Cru Gilles Pesant | 2022/5/26 |
SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints | © Artificial Intelligence, 2022, vol. 302, art. núm. 103604 | Miquel Bofill Arasa Jordi Coll Caballero Peter Nightingale Josep Suy Franch Felix Ulrich-Oltean | 2022 |
The impact of implied constraints on maxsat B2B instances | International Journal of Computational Intelligence Systems | Miquel Bofill Jordi Coll Jesús Giráldez-Cru Josep Suy Mateu Villaret | 2022/8/11 |
The sample analysis machine scheduling problem: definition and comparison of exact solving approaches | Computers & Operations Research | Miquel Bofill Jordi Coll Gerard Martín Josep Suy Mateu Villaret | 2022/6/1 |
Relaxing non-interference requirements in parallel plans | Logic Journal of the IGPL | Miquel Bofill Joan Espasa Mateu Villaret | 2021/2 |
SMT encodings for resource-constrained project scheduling problems | Computers & Industrial Engineering | Miquel Bofill Jordi Coll Josep Suy Mateu Villaret | 2020/11/1 |
An MDD-based SAT encoding for pseudo-Boolean constraints with at-most-one relations | Artificial Intelligence Review | Miquel Bofill Jordi Coll Josep Suy Mateu Villaret | 2020/10 |