( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Breaking Instance-Independent Symmetries In Exact Graph Coloring.

, , , и . J. Artif. Intell. Res., (2006)

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.

Karem Gomaa

Elizabeth Karema

Mahmoud Mohamed Ali Karemi

R. A. A. Bowler

°Ake °Akerström

 

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

The Aurora RAM Compiler., , , , и . DAC, стр. 261-266. ACM Press, (1995)Analysis and Design of Latch-Controlled Synchronous Digital Circuits., , и . DAC, стр. 111-117. IEEE Computer Society Press, (1990)Transistor placement for noncomplementary digital VLSI cell synthesis., и . ACM Trans. Design Autom. Electr. Syst., 8 (1): 81-107 (2003)Incorporating user control in automated interactive scheduling systems., , , , и . Conference on Designing Interactive Systems, стр. 306-309. ACM, (2010)euforia: Complete Software Model Checking with Uninterpreted Functions., и . VMCAI, том 11388 из Lecture Notes in Computer Science, стр. 363-385. Springer, (2019)Empirical Study of the Anatomy of Modern Sat Solvers., , и . SAT, том 6695 из Lecture Notes in Computer Science, стр. 343-356. Springer, (2011)Efficient Symmetry Breaking for Boolean Satisfiability., , и . IJCAI, стр. 271-276. Morgan Kaufmann, (2003)Identifying Conflicts in Overconstrained Temporal Problems., , , и . IJCAI, стр. 205-211. Professional Book Center, (2005)Dynamic symmetry-breaking for improved Boolean optimization., , , и . ASP-DAC, стр. 445-450. ACM Press, (2005)Concurrent path sensitization in timing analysis., и . EURO-DAC, стр. 196-199. IEEE Computer Society, (1993)