Вы здесь

Главная

smt

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

Computer Aided Verification, Part I: Proc./27th International Conference, CAV 2015, San Francisco,CA,USA, July 2015
DNA Computing and Molecular Programming: Proc./19th International Conference, DNA 19, Tempe,AZ,Usa, September 2013
Theory and Applications of Satisfiability Testing - SAT 2014: Proc./17th International Conference Held as Part of the Vienna Summer of Logoc, VSL 2014, Vienna, Austria, July 2014