Theory and Applications of Satisfiability Testing – SAT 2017

EISBN:9783319662633
PISBN:9783319662626
出版社:Springer International Publishing
出版类型:Proceedings
出版时间:2017
版次:1st ed. 2017
作者:Serge Gaspers,Toby Walsh
主题词:Theory of Computation,Artificial Intelligence (incl. Robotics),Software Engineering,Operating Systems,Computer Systems Organization and Communication Networks,Numeric Computing
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Theory and Applications of Satisfiability Testing – SAT 2018

  • 作者:Olaf Beyersdorff,Christoph M. Wintersteiger
  • EISBN:9783319941448
  • 出版社:Springer International Publishing
  • 出版时间:2018

Theory and Applications of Satisfiability Testing – SAT 2012

  • 作者:Alessandro Cimatti,Roberto Sebastiani
  • EISBN:9783642316128
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2012

Theory and Applications of Satisfiability Testing – SAT 2019

  • 作者:Mikoláš Janota,Inês Lynce
  • EISBN:9783030242589
  • 出版社:Springer International Publishing
  • 出版时间:2019

Theory and Applications of Satisfiability Testing - SAT 2006

  • 作者:Armin Biere,Carla P. Gomes
  • EISBN:9783540372073
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2006

Theory and Applications of Satisfiability Testing – SAT 2013

  • 作者:Matti Järvisalo,Allen Van Gelder
  • EISBN:9783642390715
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2013

Theory and Applications of Satisfiability Testing - SAT 2011

  • 作者:Karem A. Sakallah,Laurent Simon
  • EISBN:9783642215810
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2011