Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Martina Seidl
A Unified Proof System for QBF Preprocessing
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards an Understanding of Requirements for Model Versioning Support
International Journal of People-Oriented Programming
Model-Based Testing of Stateful APIs With Modbat
Efficient Extraction of Skolem Functions From QRAT Proofs
Cc⊤: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Blocked Clauses in First-Order Logic
