Efficient generation of all minimal inductive validity cores

Elaheh Ghassabani, Michael Whalen, Andrew Gacek

Research output: Chapter in Book/Report/Conference proceedingConference contribution

16 Scopus citations

Fingerprint

Dive into the research topics of 'Efficient generation of all minimal inductive validity cores'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science