CSIC

You are here

Home

Bibliography

Export 4 results:
Author Title Type [ Year(Asc)]
Filters: Author 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.
2012
Ansótegui C, Bofill M, Manyà F, Villaret M.  2012.  Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers. ISMVL 2012.
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.