Journal Articles
Journal on Satisfiability, Boolean Modeling and Computation (JSAT)
Year : 2014
Fabien DELORME : Connect in order to contact the contributor
https://hal-univ-artois.archives-ouvertes.fr/hal-03300797
Submitted on : Tuesday, July 27, 2021-12:08:05 PM
Last modification on : Friday, March 24, 2023-2:53:22 PM
Cite
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
36
View
0
Download