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.

 

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

Branch-and-Cut Solution of Inference Problems in Propositional Logic., и . Ann. Math. Artif. Intell., (1990)Stochastic Planning and Scheduling with Logic-Based Benders Decomposition., и . INFORMS J. Comput., 34 (5): 2428-2442 (2022)Mixed Global Constraints and Inference in Hybrid CLP-IP Solvers., , и . Ann. Math. Artif. Intell., 34 (4): 271-290 (2002)Tight representation of logical constraints as cardinality rules., и . Math. Program., 85 (2): 363-377 (1999)Mimetic vs Anchored Value Alignment in Artificial Intelligence., , и . CoRR, (2018)Variable Ordering for the Application of BDDs to the Maximum Independent Set Problem., , , и . CPAIOR, том 7298 из Lecture Notes in Computer Science, стр. 34-49. Springer, (2012)Consistency for 0-1 Programming., и . CPAIOR, том 11494 из Lecture Notes in Computer Science, стр. 225-240. Springer, (2019)Domain Reduction for the Circuit Constraint., и . CP, том 3709 из Lecture Notes in Computer Science, стр. 846. Springer, (2005)A Relaxation of the Cumulative Constraint., и . CP, том 2470 из Lecture Notes in Computer Science, стр. 686-690. Springer, (2002)A Filter for the Circuit Constraint., и . CP, том 4204 из Lecture Notes in Computer Science, стр. 706-710. Springer, (2006)