Ankit Shukla, Armin Biere, Luca Pulina, Martina Seidl,
"A Survey on Applications of Quantified Boolean Formulas"
: Proceedings of the 31st International Conference on Tools with Artificial Intelligence, 2019
Original Titel:
A Survey on Applications of Quantified Boolean Formulas
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 31st International Conference on Tools with Artificial Intelligence