Journal Articles
Journal on Satisfiability, Boolean Modeling and Computation (JSAT)
Year : 2014
Fabien DELORME : Connect in order to contact the contributor
https://univ-artois.hal.science/hal-03300797
Submitted on : Tuesday, July 27, 2021-12:08:05 PM
Last modification on : Wednesday, September 20, 2023-3:36:06 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
38
View
0
Download