( en | de | ru )

 

Disambiguation of "Goultiaeva, Alexandra"

Author of the publication

copydeleteadd this publication to your clipboard
A Uniform Approach for Generating Proofs and Strategies for Both True and False QBF Formulas.

, , and . IJCAI, page 546-553. IJCAI/AAAI, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

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 Miersch

Alexandra Baselau

 

Other publications of authors with the same name

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