Miquel Bofill

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 27

Top Topics

Constraint Solving

Modulo Theories

Wastewater Treatment Plant

Top Venues

Constraints An Int. J.

Publications

Miquel Bofill, Cristina Borralleras, Joan Espasa, Mateu Villaret
On Grid Graph Reachability and Puzzle Games. CoRR (2023)
Miquel Bofill, Cristina Borralleras, Joan Espasa, Gerard Martín, Gustavo Patow, Mateu Villaret
A Good Snowman is Hard to Plan. CoRR (2023)
Miquel Bofill, Jordi Coll, Marc Garcia, Jesús Giráldez-Cru, Gilles Pesant, Josep Suy, Mateu Villaret
Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem (Extended Abstract). IJCAI (2023)
Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret
SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract). IJCAI (2023)
Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret
SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints. Artif. Intell. 302 (2022)
Miquel Bofill, Jordi Coll, Marc Garcia, Jesús Giráldez-Cru, Gilles Pesant, Josep Suy, Mateu Villaret
Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem. J. Artif. Intell. Res. 74 (2022)
Miquel Bofill, Jordi Coll, Jesús Giráldez-Cru, Josep Suy, Mateu Villaret
The Impact of Implied Constraints on MaxSAT B2B Instances. Int. J. Comput. Intell. Syst. 15 (1) (2022)
Miquel Bofill, Jordi Coll, Gerard Martín, Josep Suy, Mateu Villaret
The Sample Analysis Machine Scheduling Problem: Definition and comparison of exact solving approaches. Comput. Oper. Res. 142 (2022)
Miquel Bofill, Joan Espasa, Mateu Villaret
Relaxing non-interference requirements in parallel plans. Log. J. IGPL 29 (1) (2021)
Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret
SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints. CoRR (2021)
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
An MDD-based SAT encoding for pseudo-Boolean constraints with at-most-one relations. Artif. Intell. Rev. 53 (7) (2020)
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
SMT encodings for Resource-Constrained Project Scheduling Problems. Comput. Ind. Eng. 149 (2020)
Elvira Albert, Miquel Bofill, Cristina Borralleras, Enrique Martin-Martin, Albert Rubio
Resource Analysis driven by (Conditional) Termination Proofs. Theory Pract. Log. Program. 19 (5-6) (2019)
Carlos Ansótegui, Miquel Bofill, Jordi Coll, Nguyen Dang, Juan Luis Esteban, Ian Miguel, Peter Nightingale, András Z. Salamon, Josep Suy, Mateu Villaret
Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints. CP (2019)
Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret
New complexity results for Łukasiewicz logic. Soft Comput. 23 (7) (2019)
Elvira Albert, Miquel Bofill, Cristina Borralleras, Enrique Martin-Martin, Albert Rubio
Resource Analysis driven by (Conditional) Termination Proofs. CoRR (2019)
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
SAT Encodings of Pseudo-Boolean Constraints with At-Most-One Relations. CPAIOR (2019)
Miquel Bofill, Jesús Giráldez-Cru, Josep Suy, Mateu Villaret
A Study on Implied Constraints in a MaxSAT Approach to B2B Problems. CCIA (2019)
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems. IJCAI (2017)
Miquel Bofill, Joan Espasa, Mateu Villaret
Relaxed Exists-Step Plans in Planning as SMT. IJCAI (2017)
Miquel Bofill, Marcos Calderón, Francesc Castro, Esteve del Acebo, Pablo Delgado, Marc Garcia, Marta García, Marc Roig, María O. Valentín, Mateu Villaret
The Spanish Kidney Exchange Model: Study of Computation-Based Alternatives to the Current Procedure. AIME (2017)
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
An Efficient SMT Approach to Solve MRCPSP/max Instances with Tight Constraints on Resources. CP (2017)
Miquel Bofill, Víctor Muñoz, Javier Murillo
Solving the Wastewater Treatment Plant Problem with SMT. CoRR (2016)
Miquel Bofill, Joan Espasa, Mateu Villaret
The RANTANPLAN planner: system description. Knowl. Eng. Rev. 31 (5) (2016)
Miquel Bofill, Joan Espasa, Mateu Villaret
A Semantic Notion of Interference for Planning Modulo Theories. ICAPS (2016)
Carlos Ansótegui, Miquel Bofill, Felip Manyà, Mateu Villaret
Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers. Fuzzy Sets Syst. 292 (2016)
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
Solving the Multi-Mode Resource-Constrained Project Scheduling Problem with SMT. ICTAI (2016)
Miquel Bofill, Marc Garcia, Josep Suy, Mateu Villaret
MaxSAT-Based Scheduling of B2B Meetings. CPAIOR (2015)
Jesús Manuel Almendros-Jiménez, Miquel Bofill, Alejandro Luna Tedesqui, Ginés Moreno, Carlos Vázquez, Mateu Villaret
Fuzzy XPath for the Automatic Search of Fuzzy Formulae Models. SUM (2015)
Carlos Ansótegui, Miquel Bofill, Felip Manyà, Mateu Villaret
SAT and SMT Technology for Many-Valued Logics. J. Multiple Valued Log. Soft Comput. 24 (1-4) (2015)
Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret
Finding Hard Instances of Satisfiability in Lukasiewicz Logics. ISMVL (2015)
Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret
The Complexity of 3-Valued Łukasiewicz Rules. MDAI (2015)
Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret
Solving Intensional Weighted CSPs by Incremental Optimization with BDDs. CP (2014)
Miquel Bofill, Dídac Busquets, Mateu Villaret
Reformulation Based MaxSAT Robustness - (Extended Abstract). CP (2014)
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
A System for Generation and Visualization of Resource-Constrained Projects. CCIA (2014)
Miquel Bofill, Joan Espasa, Marc Garcia, Miquel Palahí, Josep Suy, Mateu Villaret
Scheduling B2B Meetings. CP (2014)
Miquel Bofill, Dídac Busquets, Víctor Muñoz, Mateu Villaret
Reformulation based MaxSAT robustness. Constraints An Int. J. 18 (2) (2013)
Carlos Ansótegui, Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret
Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories. Constraints An Int. J. 18 (2) (2013)
Miquel Bofill, Albert Rubio
Paramodulation with Non-Monotonic Orderings and Simplification. J. Autom. Reason. 50 (1) (2013)
Miquel Bofill, Cristina Borralleras, Enric Rodríguez-Carbonell, Albert Rubio
The recursive path and polynomial ordering for first-order and higher-order terms. J. Log. Comput. 23 (1) (2013)
Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret
Solving constraint satisfaction problems with SAT modulo theories. Constraints An Int. J. 17 (3) (2012)
Carlos Ansótegui, Miquel Bofill, Felip Manyà, Mateu Villaret
Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers. ISMVL (2012)
Carlos Ansótegui, Miquel Bofill, Felip Manyà, Mateu Villaret
Extending Multiple-Valued Clausal Forms with Linear Integer Arithmetic. ISMVL (2011)
Carlos Ansótegui, Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret
Satisfiability Modulo Theories: An Efficient Approach for the Resource-Constrained Project Scheduling Problem. SARA (2011)
Miquel Bofill, Dídac Busquets, Mateu Villaret
A declarative approach to robust weighted Max-SAT. PPDP (2010)
Miquel Bofill, Josep Suy, Mateu Villaret
A System for Solving Constraint Satisfaction Problems with SMT. SAT (2010)
Miquel Bofill, Dídac Busquets, Mateu Villaret
Auction Robustness through Satisability Modulo Theories. WAT (2009)
Miquel Bofill, Albert Rubio
Paramodulation with Well-founded Orderings. J. Log. Comput. 19 (2) (2009)
Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio
The Barcelogic SMT Solver. CAV (2008)
Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio
A Write-Based Solver for SAT Modulo the Theory of Arrays. FMCAD (2008)
Miquel Bofill, Albert Rubio
Redundancy Notions for Paramodulation with Non-monotonic Orderings. IJCAR (2004)
Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio
Paramodulation and Knuth-Bendix Completion with Nontotal and Nonmonotonic Orderings. J. Autom. Reason. 30 (1) (2003)
Miquel Bofill, Albert Rubio
Well-Foundedness Is Sufficient for Completeness of Ordered Paramodulation. CADE (2002)
Miquel Bofill, Guillem Godoy
On the Completeness of Arbitrary Selection Strategies for Paramodulation. ICALP (2001)
Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio
Modular Redundancy for Theorem Proving. FroCoS (2000)
Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio
Paramodulation with Non-Monotonic Orderings. LICS (1999)