3 papers
cs.LG2021
Boolean Matrix Factorization with SAT and MaxSAT
Florent Avellaneda, Roger Villemaire
The Boolean matrix factorization problem consists in approximating a matrix by the Boolean product of two smaller Boolean matrices. To obtain optimal solutions when the matrices to…
cs.CY2015
Logic Modelling
Roger Villemaire
This is a reflection on the author's experience in teaching logic at the graduate level in a computer science department. The main lesson is that model building and the process of…
cs.AI2013
Efficient Partial Order CDCL Using Assertion Level Choice Heuristics
Anthony Monnet, Roger Villemaire
We previously designed Partial Order Conflict Driven Clause Learning (PO-CDCL), a variation of the satisfiability solving CDCL algorithm with a partial order on decision levels, an…