OW2con'15 has ended
Back To Schedule
Tuesday, November 17 • 16:00 - 16:30
Sat4j: from the lab to desktop computers

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

The aim of the Sat4j library is to solve Boolean satisfaction and optimization problems. Those problems have received considerable attention in the last two decades, mainly due to its use in hardware verification.Sat4j started as a research project to experiment ideas about while providing an efficient Boolean reasoning engine to the Java community. 

avatar for Daniel Le Berre

Daniel Le Berre

Professor, CRIL-CNRS Université d'Artois
University Professor at CRIL CNRS, Université d'Artois

Tuesday November 17, 2015 16:00 - 16:30 CET
Orange Labs, Paris Issy-Les-Moulineaux