Graph explorer

Martina Seidl

Martina Seidl contributes to research discovery and scholarly infrastructure.

8 nodes7 linksoverview previewMartina Seidl
8 nodes7 links
Martina Seidl8 visible / 8 total nodes / 7 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAMartina SeidlResearcherWThe QBF Gallery: Behind...preprint / 2016WSAT-Based Synthesis Met...preprint / 2013WQ-Resolution with Gener...preprint / 2016WSatisfiability-Based Me...preprint / 2016WThe Second Reactive Syn...preprint / 2016WThe First Reactive Synt...preprint / 2016WThe 3rd Reactive Synthe...preprint / 2016
PersonSignal 107 links

Martina Seidl

Researcher

Open