A BDD-Based Simplification and Skolemization Procedure - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Logic Journal of the IGPL Year : 1995

A BDD-Based Simplification and Skolemization Procedure

Dates and versions

hal-03241666 , version 1 (28-05-2021)

Identifiers

Cite

Jean Goubault. A BDD-Based Simplification and Skolemization Procedure. Logic Journal of the IGPL, 1995, 3 (6), pp.827-855. ⟨10.1093/jigpal/3.6.827⟩. ⟨hal-03241666⟩
10 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More