Bridging Constraint Satisfaction and Boolean Satisfiability

EISBN:9783319218106
PISBN:9783319218090
出版社:Springer International Publishing
出版类型:Monograph
出版时间:2015
版次:1st ed. 2015
作者:Justyna Petke
主题词:Artificial Intelligence (incl. Robotics),Theory of Computation
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Foundations of Constraint Satisfaction

  • 作者:Tsang,Edward
  • PISBN:9780127016108
  • 出版时间:Legacy

Distributed Constraint Satisfaction

  • 作者:Makoto Yokoo
  • EISBN:9783642595462
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2001

Distributed Constraint Satisfaction

  • 作者:Makoto Yokoo
  • EISBN:9783642595462
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2001

Global Optimization and Constraint Satisfaction

  • 作者:Christophe Jermann,Arnold Neumaier,Djamila Sam
  • EISBN:9783540320418
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2005

The Complexity of Valued Constraint Satisfaction Problems

  • 作者:Stanislav Živný
  • EISBN:9783642339745
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2012

Global Optimization and Constraint Satisfaction

  • 作者:Christian Bliek,Christophe Jermann,Arnold Neumaier
  • EISBN:9783540399018
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2003