SAT-based Functional Dependency Computation
| Title: | SAT-based Functional Dependency Computation |
|---|---|
| Authors: | Soeken, Mathias; Raiola, Pascal; Sterin, Baruch; Sauer, Matthias |
| Publication Year: | 2016 |
| Collection: | University of Freiburg: FreiDok |
| Document Type: | conference object |
| Language: | English |
| Relation: | https://freidok.uni-freiburg.de/data/131283 |
| Availability: | https://freidok.uni-freiburg.de/data/131283 |
| Accession Number: | edsbas.C4033620 |
| Database: | BASE |