%0 Journal Article %T Sat4j 2.3.2: on the fly solver configuration, System Description %+ Centre de Recherche en Informatique de Lens (CRIL) %A Le Berre, Daniel %A Roussel, Stéphanie %< avec comité de lecture %Z Logiciel : SAT4J %J Journal on Satisfiability, Boolean Modeling and Computation (JSAT) %V 8 %P 197-202 %8 2014 %D 2014 %R 10.3233/SAT190098 %Z Computer Science [cs]/Artificial Intelligence [cs.AI]Journal articles %G English %L hal-03300797 %U https://univ-artois.hal.science/hal-03300797 %~ UNIV-ARTOIS %~ CNRS %~ CRIL