Вы здесь

Главная

теория ограничений

Связанные издания:

Automated Reasoning: Proc./9th International Joint Conference, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 2018
Integration of AI and OR Techniques in Constraint Programming: Proc./14th International Conference, CPAIOR 2017, Padua, Italy, June 2017
Integration of Constraint Programming, Artificial Intelligence, and Operations Research: Proc./16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 2019
Principles and Practice of Constraint Programming: Proc./24th International Conference, CP 2018, Lille, France, August 2018
Principles and Practice of Constraint Programming: Proc./25th International Conference, CP 2019, Stamford,CT,USA, September 2019
Principles and Practice of Constraint Programming: Proc./26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 2020
Theory and Applications of Satisfiability Testing - SAT 2017: Proc./20th International Conference, Melbourn,VIC,Australia, August 2017
Theory and Applications of Satisfiability Testing - SAT 2019: Proc./22nd International Conference, SAT 2019, Lisbon, Portugal, July 2019