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 and Mircea Marin and Viorel Negru and Daniela Zaharie
Publisher	IEEE
Pages	16-18
Number of pages	3
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

Seidl, M. (2022). What's New In QBF Solving? (Invited Talk). In Bruno Buchberger and Mircea Marin and Viorel Negru and Daniela Zaharie (Ed.), 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022 (pp. 16-18). IEEE. https://doi.org/10.1109/SYNASC57785.2022.00012

@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",

}

Seidl, M 2022, What's New In QBF Solving? (Invited Talk). in Bruno Buchberger and Mircea Marin and Viorel Negru and Daniela Zaharie (ed.), 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022. IEEE, pp. 16-18. https://doi.org/10.1109/SYNASC57785.2022.00012

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 and Mircea Marin and Viorel Negru and 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

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 - Bruno Buchberger and Mircea Marin and Viorel Negru and Daniela Zaharie, null

PB - IEEE

ER -

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