Proving with BDDs and control of information - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 1994

Proving with BDDs and control of information

Dates and versions

hal-03242184 , version 1 (30-05-2021)

Identifiers

Cite

Jean Goubault. Proving with BDDs and control of information. Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Jun 1994, Nancy, France. pp.499-513, ⟨10.1007/3-540-58156-1_36⟩. ⟨hal-03242184⟩
11 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More