封面图片

Bridging Constraint Satisfaction and Boolean Satisfiability

This book provides a significant step towards bridging the areas of Boolean satisfiability and constraint satisfaction by answering the question why SAT-solvers are efficient on certain classes of CSP instances which are hard to solve for standard constraint solvers. The author also gives theoretica...

Saved in:

书目详细资料
主要作者:	Petke, Justyna. (Author, http://id.loc.gov/vocabulary/relators/aut)
企业作者:	SpringerLink (Online service)
格式:	电子电子书
语言:	English
出版:	Cham : Springer International Publishing : Imprint: Springer, 2015.
版:	1st ed. 2015.
丛编:	Artificial Intelligence: Foundations, Theory, and Algorithms,
主题:	Artificial intelligence. Computers. Artificial Intelligence. Theory of Computation.
在线阅读:	https://doi.org/10.1007/978-3-319-21810-6
标签:	添加标签没有标签, 成为第一个标记此记录!

相似书籍

Constraint Satisfaction Techniques for Agent-Based Reasoning
由: Neagu, Nicoleta., et al.
出版: (2005)

Constraint Solving and Planning with Picat
由: Zhou, Neng-Fa., et al.
出版: (2015)

Linear Genetic Programming
由: Brameier, Markus F., et al.
出版: (2007)

Theory and Applications of Formal Argumentation Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected Papers /
出版: (2014)

Robust Intelligent Systems
出版: (2008)

Multiparadigm Constraint Programming Languages
由: Hofstedt, Petra., et al.
出版: (2011)

Computer Games Workshop on Computer Games, CGW 2013, Held in Conjunction with the 23rd International Conference on Artificial Intelligence, IJCAI 2013, Beijing, China, August 3, 2013, Revised Selected Papers /
出版: (2014)

Computer Games Third Workshop on Computer Games, CGW 2014, Held in Conjunction with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18, 2014, Revised Selected Papers /
出版: (2014)

New Contributions in Information Systems and Technologies Volume 1 /
出版: (2015)

Portfolio Analysis From Probabilistic to Credibilistic and Uncertain Approaches /
由: Huang, Xiaoxia., et al.
出版: (2010)

Advances in Machine Learning I Dedicated to the Memory of Professor Ryszard S. Michalski /
出版: (2010)

Tree-Structure based Hybrid Computational Intelligence Theoretical Foundations and Applications /
由: Chen, Yuehui., et al.
出版: (2010)

Knowledge-Free and Learning-Based Methods in Intelligent Game Playing
由: Mandziuk, Jacek., et al.
出版: (2010)

Self-organising Software From Natural to Artificial Adaptation /
出版: (2011)

Advances in Machine Learning II Dedicated to the memory of Professor Ryszard S. Michalski /
出版: (2010)

Handbook of Genetic Programming Applications
出版: (2015)

Markov Decision Processes and the Belief-Desire-Intention Model Bridging the Gap for Autonomous Agents /
由: Simari, Gerardo I., et al.
出版: (2011)

Industrial Applications of Holonic and Multi-Agent Systems 7th International Conference, HoloMAS 2015, Valencia, Spain, September 2-3, 2015, Proceedings /
出版: (2015)

Research and Development in Intelligent Systems XXIV Proceedings of AI-2007, The Twenty-seventh SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence /
出版: (2008)

Research and Development in Intelligent Systems XXII Proceedingas of AI-2005, the Twenty-fifth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence /
出版: (2006)

PRICAI 2006: Trends in Artificial Intelligence 9th Pacific Rim International Conference on Artificial Intelligence, Guilin, China, August 7-11, 2006, Proceedings /
出版: (2006)

Toward Artificial Sapience Principles and Methods for Wise Systems /
出版: (2008)

Professional Practice in Artificial Intelligence IFIP 19th World Computer Congress, TC-12: Professional Practice Stream, August 21-24, 2006, Santiago, Chile /
出版: (2006)

Intelligent Information Processing IV 5th IFIP International Conference on Intelligent Information Processing, October 19-22, 2008, Beijing, China /
出版: (2008)

Applications and Innovations in Intelligent Systems XII Proceedings of AI-2004, the Twenty-fourth SGAI International Conference on Innhovative Techniques and Applications of Artificial Intelligence /
出版: (2005)

Artificial Intelligence in Theory and Practice IFIP 19th World Computer Congress, TC 12: IFIP AI 2006 Stream, August 21-24, 2006, Santiago, Chile /
出版: (2006)

Militarized Conflict Modeling Using Computational Intelligence
由: Marwala, Tshilidzi., et al.
出版: (2011)

Unsupervised Process Monitoring and Fault Diagnosis with Machine Learning Methods
由: Aldrich, Chris., et al.
出版: (2013)

Modelling and Controlling of Behaviour for Autonomous Mobile Robots
由: Skubch, Hendrik., et al.
出版: (2013)

INTELLIGENCE FOR NONLINEAR DYNAMICS AND SYNCHRONISATION
由: Bouchachia, Abdelhamid., et al.
出版: (2010)

Intelligent Computing Everywhere
出版: (2007)

Coordination, Organizations, Institutions, and Norms in Agent Systems IX COIN 2013 International Workshops, COIN@AAMAS, St. Paul, MN, USA, May 6, 2013, COIN@PRIMA, Dunedin, New Zealand, December 3, 2013, Revised Selected Papers /
出版: (2014)

Advanced Intelligent Computing Theories and Applications: With Aspects of Artificial Intelligence 6th International Conference on Intelligent Computing, ICIC 2010, Changsha, China, August 18-21, 2010, Proceedings /
出版: (2010)

Adaptive Motion of Animals and Machines
出版: (2006)

Research and Development in Intelligent Systems XXIII Proceedings of AI-2006, The Twenty-sixth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence /
出版: (2007)

PRICAI 2008: Trends in Artificial Intelligence 10th Pacific Rim International Conference on Artificial Intelligence, Hanoi, Vietnam, December 15-19, 2008, Proceedings /
出版: (2008)

Introduction to Artificial Intelligence
由: Ertel, Wolfgang., et al.
出版: (2011)

Biological and Artificial Intelligence Environments
出版: (2005)

Efficient Learning Machines Theories, Concepts, and Applications for Engineers and System Designers /
由: Awad, Mariette., et al.
出版: (2015)

ENACTION, EMBODIMENT, EVOLUTIONARY ROBOTICS Simulation Models for a Post-Cognitivist Science of Mind /
由: Rohde, Marieke., et al.
出版: (2010)