Authors Search About

Lardeux, Frédéric

1 publications

IJCAI 2005 Three Truth Values for the SAT and MAX-SAT Problems Frédéric Lardeux, Frédéric Saubion, Jin-Kao Hao

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy