Martina Seidl

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Ankit Shukla

> Home > Persons > Martina Seidl

Publications

2022
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/ShuklaMKS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/ShuklaMKS22
Ankit Shukla, Sibylle Möhle, Manuel Kauers, Martina Seidl:
OuterCount: A First-Level Solution-Counter for Quantified Boolean Formulas. CICM 2022: 272-284
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/synasc/HadzicBSS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/synasc/HadzicBSS22
Vedad Hadzic, Roderick Bloem, Ankit Shukla, Martina Seidl:
FERPModels: A Certification Framework for Expansion-Based QBF Solving. SYNASC 2022: 80-83
2021
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/BeyersdorffPSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/BeyersdorffPSS21
Olaf Beyersdorff, Luca Pulina, Martina Seidl, Ankit Shukla:
QBFFam: A Tool for Generating QBF Families from Proof Complexity. SAT 2021: 21-29
2019
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/ShuklaBPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/ShuklaBPS19
Ankit Shukla, Armin Biere, Luca Pulina, Martina Seidl:
A Survey on Applications of Quantified Boolean Formulas. ICTAI 2019: 78-84

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.