Theory revision with queries: Horn, read-once, and parity formulas

Judy Goldsmith, Robert H. Sloan, Balázs Szörényi, György Turán

Research output: Contribution to journalArticlepeer-review

13 Scopus citations

Fingerprint

Dive into the research topics of 'Theory revision with queries: Horn, read-once, and parity formulas'. Together they form a unique fingerprint.

Computer Science