( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Dsharp: Fast d-DNNF Compilation with sharpSAT.

, , , и . Canadian AI, том 7310 из Lecture Notes in Computer Science, стр. 356-361. Springer, (2012)

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.

Christopher Beck

Christopher Beck

Christopher J Garthe

J Christopher Edwards

Christopher J Wickham

 

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

Training Binarized Neural Networks Using MIP and CP., , , , , и . CP, том 11802 из Lecture Notes in Computer Science, стр. 401-417. Springer, (2019)Solving Wind Farm Layout Optimization with Mixed Integer Programming and Constraint Programming., , , и . CPAIOR, том 7874 из Lecture Notes in Computer Science, стр. 284-299. Springer, (2013)An Empirical Study of Multi-Point Constructive Search for Constraint-Based Scheduling.. ICAPS, стр. 274-283. AAAI, (2006)Dsharp: Fast d-DNNF Compilation with sharpSAT., , , и . Canadian AI, том 7310 из Lecture Notes in Computer Science, стр. 356-361. Springer, (2012)Scheduling Alternative Activities., и . AAAI/IAAI, стр. 680-687. AAAI Press / The MIT Press, (1999)Extracting and Exploiting Bounds of Numeric Variables for Optimal Linear Numeric Planning., , и . ECAI, том 372 из Frontiers in Artificial Intelligence and Applications, стр. 1332-1339. IOS Press, (2023)Problem Difficulty and the Phase Transition in Heuristic Search., и . AAAI, стр. 780-786. AAAI Press, (2017)Fat- and Heavy-Tailed Behavior in Satisficing Planning., и . AAAI, стр. 6136-6143. AAAI Press, (2018)The Implementation of a Planning and Scheduling Architecture for Multiple Robots Assisting Multiple Users in a Retirement Home Setting., , , и . AAAI Workshop: Artificial Intelligence Applied to Assistive Technologies and Smart Environments, том WS-16-03 из AAAI Technical Report, AAAI Press, (2015)Parallel Beam Search Algorithms for Domain-Independent Dynamic Programming., и . AAAI, стр. 20743-20750. AAAI Press, (2024)