Higher-order quantified boolean satisfiability
The Boolean satisfiability problem plays a central role in computational complexity and is often used as a starting point for showing NP lower bounds. Generalisations such as Succinct SAT, where a Boolean formula is succinctly represented as a Boolean circuit, have been studied in the literature in...
| Main Authors: | , , , |
|---|---|
| פורמט: | Conference item |
| שפה: | English |
| יצא לאור: |
Dagstuhl Publishing
2022
|