Florent Avellaneda's repositories
EvalMaxSAT
State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques
Delegation_BMF
The code of AAAI24 paper "Delegation-Relegation for Boolean Matrix Factorization"
UndercoverBMF
The code of AAAI22 paper "Undercover Boolean Matrix Factorization with MaxSAT"
Language:C++GPL-3.0000