Roger Villemaire | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Florent Avellaneda
4 publications
Anthony Monnet
1 publication

research

∙ 06/18/2021

Boolean Matrix Factorization with SAT and MaxSAT

The Boolean matrix factorization problem consists in approximating a mat...

0 Florent Avellaneda, et al. ∙

research

∙ 01/31/2013

Efficient Partial Order CDCL Using Assertion Level Choice Heuristics

We previously designed Partial Order Conflict Driven Clause Learning (PO...

0 Anthony Monnet, et al. ∙