Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
constraint satisfaction
Связанные издания:
Advances in Artificial Intelligence - IBERAMIA 2010: Proc./12th Ibero-American Conference on AI, Bahia Blanca, Argentina, November 2010
Computer Science Logic: Proc./24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 2010
Constraint-Based Reasoning
Principles and Practice of Constraint Programming - CP 2009: Proc./15th International Conference, CP 2009, Lisbon, Portugal, September 2009
Principles and Practice of Constraint Programming - CP 2010: Proc./16th International Conference, CP 2010, St.Andrews, Scotland, September 2010
Principles and Practice of Constraint Programming: Proc./24th International Conference, CP 2018, Lille, France, August 2018
Theory and Applications of Satisfiability Testing - SAT 2011: Proc./14th International Conference, SAT 2011, Ann Arbor,MI,USA, June 2011