Conference Papers
Year : 2002
Fabien DELORME : Connect in order to contact the contributor
https://univ-artois.hal.science/hal-03299488
Submitted on : Monday, July 26, 2021-2:49:07 PM
Last modification on : Wednesday, September 20, 2023-3:36:06 PM
Dates and versions
Identifiers
- HAL Id : hal-03299488 , version 1
Cite
Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani. Integrating boolean and mathematical solving : fondations, basic algorithms and requirements. Proceedings on the 10th Symposium on the Integration of symbolic Computation and Mechanized Reasoning (CALCULEMUS 2002) LNCS 2385, 2002, Marseille, France. pp.231-245. ⟨hal-03299488⟩
Collections
8
View
0
Download