Buscar
Mostrar sólo los elementos en los que
Export 4 results:
Autor Título Tipo [ Año(Asc)]
Filtros: Autor is Miquel Bofill  [Clear All Filters]
2015
Bofill M, Manyà F, Vidal A, Villaret M.  2015.  Finding Hard Instances of Satisfiability in Lukasiewicz Logics. 2015 IEEE International Symposium on Multiple-Valued Logic, ISMVL 2015. :30-35.
Bofill M, Manyà F, Vidal A, Villaret M.  2015.  The Complexity of 3-Valued Lukasiewicz Rules. 12th Conference on Modeling Decisions for Artificial Intelligence (MDAI 2015). 9312:221-229.
2011
Ansótegui C, Bofill M, Manyà F, Villaret M.  2011.  Extending Multiple-Valued Clausal Forms with Linear Integer Arithmetic. 41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011. :230-235.