Conference Papers
Year : 1994
Jean Goubault-Larrecq : Connect in order to contact the contributor
https://inria.hal.science/hal-03242969
Submitted on : Monday, May 31, 2021-1:08:27 PM
Last modification on : Monday, May 31, 2021-1:08:27 PM
Cite
Jean Goubault, Joachim Posegga. BDDs and automated deduction. International Symposium on Methodologies for Intelligent Systems, Oct 1994, Charlotte, United States. pp.541-550, ⟨10.1007/3-540-58495-1_54⟩. ⟨hal-03242969⟩
3
View
0
Download