Article Dans Une Revue
Journal on Satisfiability, Boolean Modeling and Computation (JSAT)
Année : 2014
Fabien DELORME : Connectez-vous pour contacter le contributeur
https://univ-artois.hal.science/hal-03300797
Soumis le : mardi 27 juillet 2021-12:08:05
Dernière modification le : mercredi 20 septembre 2023-15:36:06
Citer
Daniel Le Berre, Stéphanie Roussel. Sat4j 2.3.2: on the fly solver configuration, System Description. Journal on Satisfiability, Boolean Modeling and Computation (JSAT), 2014, 8, pp.197-202. ⟨10.3233/SAT190098⟩. ⟨hal-03300797⟩
Collections
41
Consultations
0
Téléchargements