Authors Search About

Veksler, Michael

1 publications

AAAI 2010 A Proof-Producing CSP Solver Michael Veksler, Ofer Strichman

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