Miquel Bofill
Author
Alternate names Bofill Miquel, Miquel Bofill, María Gabriela Bofill, M. Bofill
Institution University of Girona
Past institutions University of Girona, Université de Toulon, Laboratoire d’Informatique et Systèmes, Centre National de la Recherche Scientifique, Universidad de Granada +3 more
ORCID: Yes
H-index: 12
I10-index: 19
Works count: 64
Citations count: 524
The Barcelogic SMT Solver
2008 · Miquel Bofill, Robert Nieuwenhuis, et al. · Lecture notes in computer science
Solving constraint satisfaction problems with SAT modulo theories
2012 · Miquel Bofill, Miquel Palahí, et al. · Constraints
Satisfiability Modulo Theories: An Efficient Approach for the Resource-Constrained Project Scheduling Problem
2011 · Carlos Ansótegui, Miquel Bofill, et al. · Symposium on Abstraction, Reformulation and Approximation