Fiche d'une revue

Journal of Satisfiability, Boolean Modeling and Computation115310