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.

 

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

Controlling a Solver Execution with the runsolver Tool.. J. Satisf. Boolean Model. Comput., 7 (4): 139-144 (2011)Boys-and-girls Birthdays and Hadamard Products., , и . Fundam. Informaticae, 117 (1-4): 85-101 (2012)Pseudo-Boolean and Cardinality Constraints., и . Handbook of Satisfiability, том 185 из Frontiers in Artificial Intelligence and Applications, IOS Press, (2009)Sliced Table Constraints: Combining Compression and Tabular Reduction., , , и . CPAIOR, том 8451 из Lecture Notes in Computer Science, стр. 120-135. Springer, (2014)Exact Kanowledge Compilation in Predicate Calculus: The Partial Achievement Case., и . CADE, том 1249 из Lecture Notes in Computer Science, стр. 161-175. Springer, (1997)Efficient motion planning for quasi-static elastic rods using geometry neighborhood approximation., , и . AIM, стр. 1024-1029. IEEE, (2014)Solving WCSP by Extraction of Minimal Unsatisfiable Cores., , , и . ICTAI, стр. 915-922. IEEE Computer Society, (2013)Promoting robust black-box solvers through competitions., , и . Constraints An Int. J., 15 (3): 317-326 (2010)XML Representation of Constraint Networks: Format XCSP 2.1, и . CoRR, (2009)A Decomposition Technique for Max-CSP., , и . ECAI, том 178 из Frontiers in Artificial Intelligence and Applications, стр. 500-504. IOS Press, (2008)