Miquel Bofill
发表
Carlos Ansótegui,
Felip Manyà,
Mateu Villaret,
2016,
Fuzzy Sets Syst..
Carlos Ansótegui,
Mateu Villaret,
Miquel Bofill,
2011,
SARA.
Mateu Villaret,
Miquel Bofill,
Josep Suy,
2020,
Comput. Ind. Eng..
Mateu Villaret,
Miquel Bofill,
Josep Suy,
2019,
CPAIOR.
Mateu Villaret,
Miquel Bofill,
Josep Suy,
2010,
SAT.
Carlos Ansótegui,
Felip Manyà,
Mateu Villaret,
2012,
2012 IEEE 42nd International Symposium on Multiple-Valued Logic.
Carlos Ansótegui,
Felip Manyà,
Mateu Villaret,
2015,
J. Multiple Valued Log. Soft Comput..
Albert Rubio,
Robert Nieuwenhuis,
Guillem Godoy,
2003,
Journal of Automated Reasoning.
Albert Rubio,
Miquel Bofill,
A. Rubio,
2004,
IJCAR.
Carlos Ansótegui,
Ian Miguel,
Mateu Villaret,
2019,
CP.
Dídac Busquets,
Mateu Villaret,
Miquel Bofill,
2010,
PPDP.
Guillem Godoy,
Miquel Bofill,
Miquel Bofill,
2001,
ICALP.
Mateu Villaret,
Miquel Bofill,
Miquel Palahí,
2012,
Constraints.
Mateu Villaret,
Miquel Bofill,
Joan Espasa,
2016,
Knowl. Eng. Rev..
Narcis Clara,
Manel Poch,
Mateu Villaret,
2015,
Clean Technologies and Environmental Policy.
Mateu Villaret,
Miquel Bofill,
Joan Espasa,
2017,
IJCAI.
Francesc Castro,
Esteve del Acebo,
Marc Roig,
2017,
AIME.
Mateu Villaret,
Miquel Bofill,
Josep Suy,
2020,
Artificial Intelligence Review.
Javier Murillo,
Víctor Muñoz,
Miquel Bofill,
2016,
ArXiv.
Mateu Villaret,
Miquel Bofill,
Miquel Palahí,
2009
.
Carlos Ansótegui,
Felip Manyà,
Mateu Villaret,
2011,
2011 41st IEEE International Symposium on Multiple-Valued Logic.
Mateu Villaret,
Miquel Bofill,
Josep Suy,
2014,
CCIA.
Albert Oliveras,
Enric Rodríguez-Carbonell,
Albert Rubio,
2008,
2008 Formal Methods in Computer-Aided Design.
Carlos Vázquez,
Jesús Manuel Almendros-Jiménez,
Ginés Moreno,
2015,
SUM.
Dídac Busquets,
Mateu Villaret,
Miquel Bofill,
2009,
WAT.
Albert Rubio,
Robert Nieuwenhuis,
Guillem Godoy,
2000,
FroCoS.
Dídac Busquets,
Víctor Muñoz,
Mateu Villaret,
2013,
Constraints.
Felip Manyà,
Mateu Villaret,
Miquel Bofill,
2015,
MDAI.
Albert Rubio,
Miquel Bofill,
A. Rubio,
2009,
J. Log. Comput..
Dídac Busquets,
Mateu Villaret,
Miquel Bofill,
2014,
CP.
Albert Oliveras,
Albert Rubio,
Robert Nieuwenhuis,
2008
.
Albert Oliveras,
Enric Rodríguez-Carbonell,
Robert Nieuwenhuis,
2008,
CAV.
Jesús Giráldez-Cru,
Mateu Villaret,
Miquel Bofill,
2019,
CCIA.
Carlos Ansótegui,
Mateu Villaret,
Miquel Bofill,
2012,
Constraints.
Albert Rubio,
Robert Nieuwenhuis,
Guillem Godoy,
1999,
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Mateu Villaret,
Miquel Bofill,
Josep Suy,
2016,
2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI).
Mateu Villaret,
Miquel Bofill,
Josep Suy,
2008
.
Felip Manyà,
Mateu Villaret,
Miquel Bofill,
2015,
2015 IEEE International Symposium on Multiple-Valued Logic.
Mateu Villaret,
Miquel Bofill,
Miquel Palahí,
2014,
CP.
Mateu Villaret,
Miquel Bofill,
Josep Suy,
2017,
CP.
Mateu Villaret,
Miquel Bofill,
Josep Suy,
2017,
IJCAI.
Albert Rubio,
Miquel Bofill,
A. Rubio,
2002,
CADE.
Mateu Villaret,
Miquel Bofill,
Miquel Palahí,
2014,
CP.
Enric Rodríguez-Carbonell,
Albert Rubio,
Miquel Bofill,
2013,
J. Log. Comput..
Albert Rubio,
Miquel Bofill,
A. Rubio,
2011,
Journal of Automated Reasoning.
Mateu Villaret,
Miquel Bofill,
Josep Suy,
2015,
CPAIOR.
Elvira Albert,
Enrique Martin-Martin,
Miquel Bofill,
2019,
Theory Pract. Log. Program..
Mateu Villaret,
Miquel Bofill,
Joan Espasa,
2016,
ICAPS.
Mateu Villaret,
Miquel Bofill,
Joan Espasa,
2019
.
Felip Manyà,
Mateu Villaret,
Miquel Bofill,
2018,
Soft Comput..
Mateu Villaret,
Miquel Bofill,
Josep Suy,
2021,
Artif. Intell..
Mateu Villaret,
Miquel Bofill,
Josep Suy,
2013
.
Mateu Villaret,
Miquel Bofill,
Joan Espasa,
2012
.
Ginés Moreno,
Mateu Villaret,
Miquel Bofill,
2014
.