• Created by Unknown User (leberre_1@touchstonenetwork.net), last modified on May 19, 2011 04:32

You are viewing an old version of this page. View the current version.

Compare with Current View Page History

« Previous Version 4 Next »

SAT4J: pseudo-boolean optimization & dependency management problems

put your abstract here

Daniel Le Berre, Université d'Artois, France

put your bio here

Lecture video (that's just a test for now)

  • No labels