表紙画像

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...

保存先:

書誌詳細
第一著者:	Petke, Justyna. (著者, http://id.loc.gov/vocabulary/relators/aut)
団体著者:	SpringerLink (Online service)
フォーマット:	電子媒体 eBook
言語:	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., 等
出版事項: (2005)

Constraint Solving and Planning with Picat
著者:: Zhou, Neng-Fa., 等
出版事項: (2015)

Linear Genetic Programming
著者:: Brameier, Markus F., 等
出版事項: (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., 等
出版事項: (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., 等
出版事項: (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., 等
出版事項: (2010)

Knowledge-Free and Learning-Based Methods in Intelligent Game Playing
著者:: Mandziuk, Jacek., 等
出版事項: (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., 等
出版事項: (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., 等
出版事項: (2011)

Unsupervised Process Monitoring and Fault Diagnosis with Machine Learning Methods
著者:: Aldrich, Chris., 等
出版事項: (2013)

Modelling and Controlling of Behaviour for Autonomous Mobile Robots
著者:: Skubch, Hendrik., 等
出版事項: (2013)

INTELLIGENCE FOR NONLINEAR DYNAMICS AND SYNCHRONISATION
著者:: Bouchachia, Abdelhamid., 等
出版事項: (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., 等
出版事項: (2011)

Biological and Artificial Intelligence Environments
出版事項: (2005)

Efficient Learning Machines Theories, Concepts, and Applications for Engineers and System Designers /
著者:: Awad, Mariette., 等
出版事項: (2015)

ENACTION, EMBODIMENT, EVOLUTIONARY ROBOTICS Simulation Models for a Post-Cognitivist Science of Mind /
著者:: Rohde, Marieke., 等
出版事項: (2010)