ML Anthology

Fazekas, Katalin

1 publications

JAIR 2024 Satisfiability Modulo User Propagators Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, Armin Biere