From post

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.

 

Другие публикации лиц с тем же именем

Dynamic symmetry-breaking for Boolean satisfiability., , , и . Ann. Math. Artif. Intell., 57 (1): 59-73 (2009)Solution and Optimization of Systems of Pseudo-Boolean Constraints., , , и . IEEE Trans. Computers, 56 (10): 1415-1424 (2007)Breaking Instance-Independent Symmetries in Exact Graph Coloring., , , и . DATE, стр. 324-331. IEEE Computer Society, (2004)Automatically Exploiting Symmetries in Constraint Programming., и . CSCLP, том 3419 из Lecture Notes in Computer Science, стр. 98-112. Springer, (2004)ShatterPB: symmetry-breaking for pseudo-Boolean formulas., , , и . ASP-DAC, стр. 883-886. IEEE Computer Society, (2004)Generic ILP versus specialized 0-1 ILP: an update., , , и . ICCAD, стр. 450-457. ACM / IEEE Computer Society, (2002)Combining Two Local Search Approaches to Hypergraph Partitioning., и . IJCAI, стр. 1546-. Morgan Kaufmann, (2003)Solving difficult SAT instances in the presence of symmetry., , , и . DAC, стр. 731-736. ACM, (2002)Dynamic symmetry-breaking for improved Boolean optimization., , , и . ASP-DAC, стр. 445-450. ACM Press, (2005)Exploiting symmetry in linear and non-linear 0-1 problems.. University of Michigan, USA, (2005)