Fiche d'une revue

Journal on Satisfiability, Boolean Modeling and Computation (JSAT)60201