Zobrazeno 1 - 3
of 3
pro vyhledávání: '"556"'
Autor:
Serge Gaspers, Toby Walsh
This book constitutes the refereed proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017, held in Melbourne, Australia, in August/September 2017.The 22 revised full papers, 5 short papers, a
This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (Internati
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Artificial Evolution, EA 2007, held in Tours, France in October 2007. The 27 revised full papers presented were carefully reviewed and se