Picture for Antônio Carlos Souza Ferreira Júnior

Antônio Carlos Souza Ferreira Júnior

An incremental MaxSAT-based model to learn balanced rules

Add code
Mar 25, 2024
Viaarxiv icon