( en | de | ru )

 

Disambiguierung von "Chew, Leroy"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Hardness and Optimality in QBF Proof Systems Modulo NP.

. SAT, Volume 12831 von Lecture Notes in Computer Science, Seite 98-115. Springer, (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

William Chew

Wakene Negassa Chewaka

Esther Leroy

Antoine Leroy

Janis Leroy

 

Weitere Publikationen von Autoren mit dem selben Namen

How QBF Expansion Makes Strategy Extraction Hard., und . IJCAR (1), Volume 12166 von Lecture Notes in Computer Science, Seite 66-82. Springer, (2020)Proof Simulation via Round-based Strategy Extraction for QBF.. Electron. Colloquium Comput. Complex., (2023)Hardness of Random Reordered Encodings of Parity for Resolution and CDCL., , , und . AAAI, Seite 7978-7986. AAAI Press, (2024)Short Proofs in QBF Expansion., , , und . SAT, Volume 11628 von Lecture Notes in Computer Science, Seite 19-35. Springer, (2019)Towards Uniform Certification in QBF., und . STACS, Volume 219 von LIPIcs, Seite 22:1-22:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Avoiding Monochromatic Rectangles Using Shift Patterns., , und . CoRR, (2020)Understanding Nullstellensatz for QBFs., , , und . Electron. Colloquium Comput. Complex., (2023)Hardness and Optimality in QBF Proof Systems Modulo NP.. Electron. Colloquium Comput. Complex., (2018)Sorting Parity Encodings by Reusing Variables., und . SAT, Volume 12178 von Lecture Notes in Computer Science, Seite 1-10. Springer, (2020)Relating Existing Powerful Proof Systems for QBF., und . SAT, Volume 236 von LIPIcs, Seite 10:1-10:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)