Irfansha Shaik, Maximilian Heisinger, Martina Seidl, Jaco van de Pol,
"Validation of QBF Encodings with Winning Strategies"
, in Meena Mahajan and Friedrich Slivovsky: 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 4-8, 2023, Alghero, Italy, Serie LIPIcs, Vol. 271, Schloss Dagstuhl - Leibniz-Zentrum f\ur Informatik, Seite(n) 24:1-24:10, 2023
Original Titel:
Validation of QBF Encodings with Winning Strategies
Sprache des Titels:
Deutsch
Original Buchtitel:
26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 4-8, 2023, Alghero, Italy
Veröffentlicher:
Schloss Dagstuhl - Leibniz-Zentrum f\ur Informatik
Forschungs-