An efficient decision procedure for functional decomposable theories based on dual constraints - Archive ouverte HAL Access content directly
Conference Papers Lecture Notes in Computer Science Year : 2009

An efficient decision procedure for functional decomposable theories based on dual constraints

No file

Dates and versions

hal-00460808 , version 1 (02-03-2010)

Identifiers

  • HAL Id : hal-00460808 , version 1

Cite

Khalil Djelloul. An efficient decision procedure for functional decomposable theories based on dual constraints. CSCLP 2008., Apr 2008, France. pp.33-50. ⟨hal-00460808⟩
26 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More