Miquel Bofill Arasa
Miquel Bofill Arasa
Dirección de correo verificada de udg.edu - Página principal
Título
Citado por
Citado por
Año
The barcelogic SMT solver
M Bofill, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell, A Rubio
Computer Aided Verification, 294-298, 2008
1092008
Solving constraint satisfaction problems with SAT modulo theories
M Bofill, M Palahí, J Suy, M Villaret
Constraints, 1-31, 2012
422012
Satisfiability Modulo Theories: An Efficient Approach for the Resource-Constrained Project Scheduling Problem
C Ansótegui, M Bofill, M Palahı, J Suy, M Villaret
Resource 7 (3), 2, 2011
342011
A System for solving constraint satisfaction problems with SMT
M Bofill, J Suy, M Villaret
Theory and Applications of Satisfiability Testing–SAT 2010, 300-305, 2010
272010
A write-based solver for SAT modulo the theory of arrays
M Bofill, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell, A Rubio
2008 Formal Methods in Computer-Aided Design, 1-8, 2008
222008
Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers
C Ansótegui, M Bofill, F Manyà, M Villaret
2012 IEEE 42nd International Symposium on Multiple-Valued Logic, 25-30, 2012
212012
SIMPLY: a Compiler from a CSP Modeling Language to the SMT-LIB Format
M Bofill, M Palahı, J Suy, M Villaret
Proceedings of the 8th International Workshop on Constraint Modelling and …, 2009
202009
Paramodulation with non-monotonic orderings
M Bofill, G Godoy, R Nieuwenhuis, A Rubio
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999
181999
Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories
C Ansótegui, M Bofill, M Palahí, J Suy, M Villaret
Constraints 18 (2), 236-268, 2013
172013
Finding hard instances of satisfiability in lukasiewicz logics
M Bofill, F Manyà, A Vidal, M Villaret
2015 IEEE International Symposium on Multiple-Valued Logic, 30-35, 2015
142015
Scheduling B2B meetings
M Bofill, J Espasa, M Garcia, M Palahí, J Suy, M Villaret
International Conference on Principles and Practice of Constraint …, 2014
142014
The RANTANPLAN planner: system description
M Bofill, J Espasa, M Villaret
Proceedings of the ICAPS-15 Workshop on Constraint Satisfaction Techniques …, 2015
122015
A Proposal for Solving Weighted CSP with SMT
C Ansótegui, M Bofill, M Palahı, J Suy, M Villaret
ModRef, 2011
122011
MaxSAT-based scheduling of B2B meetings
M Bofill, M Garcia, J Suy, M Villaret
International Conference on AI and OR Techniques in Constriant Programming …, 2015
112015
Solving intensional weighted csps by incremental optimization with bdds
M Bofill, M Palahí, J Suy, M Villaret
International Conference on Principles and Practice of Constraint …, 2014
112014
Solving the multi-mode resource-constrained project scheduling problem with SMT
M Bofill, J Coll, J Suy, M Villaret
2016 IEEE 28th International Conference on Tools with Artificial …, 2016
102016
The recursive path and polynomial ordering for first-order and higher-order terms
M Bofill, C Borralleras, E Rodríguez-Carbonell, A Rubio
Journal of Logic and Computation, 2012
102012
Fuzzy xpath for the automatic search of fuzzy formulae models
JM Almendros-Jiménez, M Bofill, A Luna-Tedesqui, G Moreno, C Vázquez, ...
International Conference on Scalable Uncertainty Management, 385-398, 2015
92015
Automatic proving of fuzzy formulae with fuzzy logic programming and SMT
M Bofill, G Moreno, C Vazquez, M Villaret
Electronic Communications of the EASST 64, 2014
92014
W-MiniZinc: A Proposal for Modeling Weighted CSPs with MiniZinc⋆
C Ansótegui, M Bofill, M Palahı, J Suy, M Villaret
MZN, 2011
92011
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20