Skip to content

Automatic Extraction of Functional Dependencies.

ric Grgoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais

VenueASAT
Year2004
ProceedingsSAT (Selected Papers

Browse the full SAT paper archive.