Вы здесь

Главная

satisfiability

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

Principles and Practice of Constraint Programming - CP 2009: Proc./15th International Conference, CP 2009, Lisbon, Portugal, September 2009
Theory and Applications of Satisfiability Testing - SAT 2007: Proc./10th International Conference. Lisbon, Portugal, May 2007
Theory and Applications of Satisfiability Testing - SAT 2009: Proc./12th International Conference, SAT 2009, Swansea, UK, June/July 2009
Theory and Applications of Satisfiability Testing - SAT 2019: Proc./22nd International Conference, SAT 2019, Lisbon, Portugal, July 2019