What's New In QBF Solving? (Invited Talk)

Martina Seidl

doi:10.1109/SYNASC57785.2022.00012

What's New In QBF Solving? (Invited Talk)

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022
Editors	Bruno Buchberger, Mircea Marin, Viorel Negru, Daniela Zaharie
Publisher	IEEE
Pages	16-18
Number of pages	3
ISBN (Electronic)	9781665465458
DOIs	https://doi.org/10.1109/SYNASC57785.2022.00012
Publication status	Published - 2022

Fields of science

101013 Mathematical logic
102 Computer Sciences
102001 Artificial intelligence
102011 Formal languages
102022 Software development
102030 Semantic technologies
102031 Theoretical computer science
603109 Logic

JKU Focus areas

Digital Transformation

Access to Document

10.1109/SYNASC57785.2022.00012

Cite this

@inproceedings{f3fd9007f7d344bf8de1b2da3c34172c,

title = "What's New In QBF Solving? (Invited Talk)",

author = "Martina Seidl",

year = "2022",

doi = "10.1109/SYNASC57785.2022.00012",

language = "English",

pages = "16--18",

editor = "Bruno Buchberger and Mircea Marin and Viorel Negru and Daniela Zaharie",

booktitle = "24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022",

publisher = "IEEE",

}

What's New In QBF Solving? (Invited Talk). / Seidl, Martina.
24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022. ed. / Bruno Buchberger; Mircea Marin; Viorel Negru; Daniela Zaharie. IEEE, 2022. p. 16-18.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

TY - GEN

T1 - What's New In QBF Solving? (Invited Talk)

AU - Seidl, Martina

PY - 2022

Y1 - 2022

UR - https://www.scopus.com/pages/publications/85163110076

U2 - 10.1109/SYNASC57785.2022.00012

DO - 10.1109/SYNASC57785.2022.00012

M3 - Conference proceedings

SP - 16

EP - 18

BT - 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022

A2 - Buchberger, Bruno

A2 - Marin, Mircea

A2 - Negru, Viorel

A2 - Zaharie, Daniela

PB - IEEE

ER -

What's New In QBF Solving? (Invited Talk)

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this