Export 1 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is F and 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.