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.

 

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

Hybridization of Genetic Algorithms and Constraint Propagation for the BACP., , , , и . ICLP, том 3668 из Lecture Notes in Computer Science, стр. 421-423. Springer, (2005)Expressively Modeling the Social Golfer Problem in SAT., и . ICCS, том 51 из Procedia Computer Science, стр. 336-345. Elsevier, (2015)Optimized models and symmetry breaking for the NFA inference problem., и . ICTAI, стр. 396-403. IEEE, (2021)Solving Dial-a-Ride Problems with a Low-Level Hybridization of Ants and Constraint Programming., , и . IWINAC (2), том 4528 из Lecture Notes in Computer Science, стр. 317-327. Springer, (2007)Symbolic-interval cooperation in constraint programming., , и . ISSAC, стр. 150-166. ACM, (2001)Basic Operators for Solving Constraints via Collaboration of Solvers., и . AISC, том 1930 из Lecture Notes in Computer Science, стр. 142-156. Springer, (2000)Dynamic Web Services Provisioning with Constraints., , и . OTM Conferences (1), том 5331 из Lecture Notes in Computer Science, стр. 26-43. Springer, (2008)SoleX: A Domain-Independent Scheme for Constraint Solver Extension., и . AISC, том 1476 из Lecture Notes in Computer Science, стр. 222-233. Springer, (1998)An Approach for Dynamic Split Strategies in Constraint Solving., , , и . MICAI, том 3789 из Lecture Notes in Computer Science, стр. 162-174. Springer, (2005)Evolving SMT Strategies., , , и . ICTAI, стр. 247-254. IEEE Computer Society, (2016)