( en | de | ru )

 

Disambiguierung von "Goultiaeva, Alexandra"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Exploiting Problem Structure in QBF Solving.

. University of Toronto, Canada, (2014)

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.

Alexandra Müller

Identifizierung eisenreduzierender Mikroorganismen in anoxischem Reisfeldboden mit Hilfe stabiler Isotope. Uni Marburg, (2009)

Alexandra Fies

Die badische Auswanderung im 19. Jahrhundert nach Nordamerika unter besonderer Berücksichtigung des Amtsbezirks Karlsruhe zwischen 1880 - 1914. Uni Karlsruhe, (2009)

Alexandra Kaupisch

Biochemische und Zellbiologische Charakterisierung der humanen Proteinkinase X. Uni Kassel, (2008)

Alexandra Dmitrienko

Verify your Labels! Trustworthy Predictions and Datasets via Confidence Scores, , und . To Appear in the 33rd USENIX Security Symposium, (2024)

Alexandra Rohlmann

 

Weitere Publikationen von Autoren mit dem selben Namen

Exploiting QBF Duality on a Circuit Representation., und . AAAI, Seite 71-76. AAAI Press, (2010)Recovering and Utilizing Partial Duality in QBF., und . SAT, Volume 7962 von Lecture Notes in Computer Science, Seite 83-99. Springer, (2013)Leveraging dominators for preprocessing QBF., , , , und . DATE, Seite 1695-1700. IEEE Computer Society, (2010)A Uniform Approach for Generating Proofs and Strategies for Both True and False QBF Formulas., , und . IJCAI, Seite 546-553. IJCAI/AAAI, (2011)Exploiting Problem Structure in QBF Solving.. University of Toronto, Canada, (2014)Exploiting Circuit Representations in QBF Solving., und . SAT, Volume 6175 von Lecture Notes in Computer Science, Seite 333-339. Springer, (2010)Off the Trail: Re-examining the CDCL Algorithm., und . SAT, Volume 7317 von Lecture Notes in Computer Science, Seite 30-43. Springer, (2012)Beyond CNF: A Circuit-Based QBF Solver., , und . SAT, Volume 5584 von Lecture Notes in Computer Science, Seite 412-426. Springer, (2009)