Вы здесь

Главная

sat

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

Applications of Declarative Programming and Knowledge Management: Revised Selected Papers/19th International Conference, INAP 2011 and 25th Workshop on LP, WLP 2011, Vienna, Austria, September 2011
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune
Learning and Intelligent Optimization: Revised Selected Papers/6th International Conference, LION 6, Paris, France, January 2012
Membrane Computing: Revised Selected Papers/13th International Conference, CMC 2012, Budapest, Hungary, August 2012
Membrane Computing: Revised Selected Papers/14th International Conference, CMC 2013, Chisinau, Republic of Moldova, August 2013
Principles and Practice of Constraint Programming - CP 2011: Proc./17th International Conference, CP 2011, Perugia, Italy, September 2011
Principles and Practice of Constraint Programming: Proc./20th International Conference, CP 2014, Lyon, France, September 2014
Theory and Applications of Satisfiability Testing - SAT 2015: Proc./18th International Conference, Austin,TX,USA, September 2015