Offre spéciale sur les Précis de droit Stämpfli : Jusqu’à fin novembre, profitez d’un rabais de 20% sur les manuels d’enseignement et les livres pour la pratique suivants.
Thèmes principaux
Publications
Services
Auteurs
Éditions
Shop
LEXIA
Revues
Livres spécialisésLOKISemaphor
Logo
DE | FR
cover

Bridging Constraint Satisfaction and Boolean Satisfiability

Livre (broché)70.00 CHF
livrable dans env. 20-45 jours

Contenu

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 theoretical reasons for choosing a particular SAT encoding for several important classes of CSP instances.

Boolean satisfiability and constraint satisfaction emerged independently as new fields of computer science, and different solving techniques have become standard for problem solving in the two areas. Even though any propositional formula (SAT) can be viewed as an instance of the general constraint satisfaction problem (CSP), the implications of this connection have only been studied in the last few years.

The book will be useful for researchers and graduate students in artificial intelligence and theoretical computer science.

 

Informations bibliographiques

octobre 2016, 113 Pages, Artificial Intelligence: Foundations, Theory, and Algorithms, Anglais
Springer Nature EN
978-3-319-37364-5

Sommaire

Mots-clés

Autres titres de la collection: Artificial Intelligence: Foundations, Theory, and Algorithms

Afficher tout
Electronic Institutions
Applications to uHelp, WeCurate and PeerLearn
Springer Nature EN, 2024
978-3-319-65604-5
106.00 CHF
livrable dans env. 20-45 jours
Subjective Logic
A Formalism for Reasoning Under Uncertainty
Springer Nature EN, 2018
978-3-319-82555-7
215.00 CHF
livrable dans env. 20-45 jours
Hybrid Metaheuristics
Powerful Tools for Optimization
Springer Nature EN, 2018
978-3-319-80907-6
169.00 CHF
livrable dans env. 20-45 jours
Coordination of Complex Sociotechnical Systems
Self-organisation of Knowledge in MoK
Springer Nature EN, 2016
978-3-319-47108-2
158.00 CHF
livrable dans env. 20-45 jours
Hybrid Metaheuristics
Powerful Tools for Optimization
Springer Nature EN, 2016
978-3-319-30882-1
169.00 CHF
livrable dans env. 20-45 jours

Autres titres sur ce thème

Encyclopedia of Robotics
Springer Nature EN, 2027
978-3-662-43769-8
env. 1419.00 CHF
disponible dès août 2027
Spaces of Action and the Rights of Students in Chinese Universities
Springer Nature ENHigher Education Press, 3000
978-3-662-47168-5
env. 168.00 CHF
disponible dès août 3000
Coherence-Targeted Text Summarization
Springer Nature ENTongji University Press, 2051
978-981-10-7943-6
env. 116.00 CHF
disponible dès janvier 2051
Methods of Clinical Epidemiology
Springer Nature EN, 3000
978-3-319-65333-4
env. 146.00 CHF
disponible dès juin 3000
Innovization
Discovering Innovative Solution Principles Through Optimization
Springer Nature EN, 2100
978-3-540-73172-6
env. 76.00 CHF
disponible dès juin 2100
Habermas and Feminism
Critical Reflections on Normativity
Springer Nature EN, 3000
978-3-319-33764-7
env. 123.00 CHF
disponible dès juin 3000
The Protection of Human Rights through International Law and International ...
Springer Nature EN, 2031
978-3-642-29899-8
env. 178.00 CHF
disponible dès mai 2031
How to Build a Talking Robot
Linguistics, Philosophy, and Artificial Intelligence
Springer Nature EN, 2043
978-3-319-60611-8
env. 63.00 CHF
disponible dès mai 2043
Introduction to Design
Springer Nature EN, 3000
978-981-10-8140-8
env. 83.00 CHF
disponible dès juin 3000
Geometry of the Semigroup Z_(≥0)^n and its Applications to Combinatorics, ...
Springer Nature EN, 2027
978-3-642-30987-8
env. 55.50 CHF
disponible dès janvier 2027
Planetary Rovers
Mobile Robots in Extreme Environments
Springer Nature EN, 2100
978-3-662-58758-4
env. 168.00 CHF
disponible dès juin 2100