Report copyright - UNIVERSITY OF TRENTOeprints.biblio.unitn.it/archive/00001196/01/dtr-07-022.pdf · Technical Report # DIT-07-022 . Journal on Satisfiability, Boolean Modeling and Computation 1 (2006)
Please pass captcha verification before submit form