( en | de | ru )

 

Disambiguation of "Goldberg, Evguenii I."

Author of the publication

copydeleteadd this publication to your clipboard
Using Problem Symmetry in Search Based Satisfiability Algorithms.

, , and . DATE, page 134-141. IEEE Computer Society, (2002)

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.

Nata i i

Katja Goldberg

Felix Goldberg

Moritz Goldberg

Max Goldberg

 

Other publications of authors with the same name

Negative thinking by incremental problem solving: application to unate covering., , , , and . ICCAD, page 91-98. IEEE Computer Society / ACM, (1997)A fast and robust exact algorithm for face embedding., , , and . ICCAD, page 296-303. IEEE Computer Society / ACM, (1997)Negative thinking in branch-and-bound: the case of unate covering., , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 19 (3): 281-294 (2000)Verification of Proofs of Unsatisfiability for CNF Formulas., and . DATE, page 10886-10891. IEEE Computer Society, (2003)Combinational Verification based on High-Level Functional Specifications., , and . DATE, page 803-808. IEEE Computer Society, (1998)An efficient learning procedure for multiple implication checks., and . DATE, page 127-135. IEEE Computer Society, (2001)BerkMin: A Fast and Robust Sat-Solver., and . DATE, page 142-149. IEEE Computer Society, (2002)Using Problem Symmetry in Search Based Satisfiability Algorithms., , and . DATE, page 134-141. IEEE Computer Society, (2002)Aura II: Combining Negative Thinking and Branch-and-Bound in Unate Covering Problems., , , , and . VLSI, volume 162 of IFIP Conference Proceedings, page 346-361. Kluwer, (1999)Using SAT for combinational equivalence checking., , and . DATE, page 114-121. IEEE Computer Society, (2001)