The decision problem of quantified Boolean formulas (QBFs) is the archetypical problem for the complexity class PSPACE. Beside such theoretical aspects QBF also provides an attractive framework for encoding and solving various application problems ranging from symbolic reasoning in artificial intelligence to the formal verification and synthesis of computing systems. In this paper, we survey the different application areas that exploit QBF technology for solving their specific problems.

A survey on applications of quantified boolean formulas / Shukla, A.; Biere, A.; Pulina, L.; Seidl, M.. - 2019-:(2019), pp. 78-84. (Intervento presentato al convegno 31st IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2019 tenutosi a usa nel 2019) [10.1109/ICTAI.2019.00020].

A survey on applications of quantified boolean formulas

Pulina L.;
2019-01-01

Abstract

The decision problem of quantified Boolean formulas (QBFs) is the archetypical problem for the complexity class PSPACE. Beside such theoretical aspects QBF also provides an attractive framework for encoding and solving various application problems ranging from symbolic reasoning in artificial intelligence to the formal verification and synthesis of computing systems. In this paper, we survey the different application areas that exploit QBF technology for solving their specific problems.
2019
978-1-7281-3798-8
A survey on applications of quantified boolean formulas / Shukla, A.; Biere, A.; Pulina, L.; Seidl, M.. - 2019-:(2019), pp. 78-84. (Intervento presentato al convegno 31st IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2019 tenutosi a usa nel 2019) [10.1109/ICTAI.2019.00020].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11388/239898
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 46
  • ???jsp.display-item.citation.isi??? 20
social impact