Author of the publication

Solution-Graphs of Boolean Formulas and Isomorphism.

, and . Electronic Colloquium on Computational Complexity (ECCC), (2016)

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.

 

Other publications of authors with the same name

Often Harder than in the Constructive Case: Destructive Bribery in CP-nets., , and . WINE, volume 9470 of Lecture Notes in Computer Science, page 314-327. Springer, (2015)Succinct Encodings of Graph Isomorphism., , and . Electronic Colloquium on Computational Complexity (ECCC), (2015)On the Structure of Solution-Graphs for Boolean Formulas.. FCT, volume 9210 of Lecture Notes in Computer Science, page 118-130. Springer, (2015)Succinct Encodings of Graph Isomorphism., , and . LATA, volume 8370 of Lecture Notes in Computer Science, page 285-296. Springer, (2014)Solution-Graphs of Boolean Formulas and Isomorphism., and . SAT, volume 9710 of Lecture Notes in Computer Science, page 29-44. Springer, (2016)