MARC details
| 000 -LEADER |
|---|
| fixed length control field |
02835nam a22004335i 4500 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20231104114229.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
150810s2015 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783319218106 |
| Canceled/invalid ISBN |
978-3-319-21810-6 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-319-21810-6 |
| Source of number or code |
doi |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
TR-AnTOB |
| Language of cataloging |
eng |
| Transcribing agency |
TR-AnTOB |
| Description conventions |
rda |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
Q334-342 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYQ |
| Source |
bicssc |
|
|---|
| Subject category code |
COM004000 |
| Source |
bisacsh |
|
|---|
| Subject category code |
UYQ |
| Source |
thema006.3 |
| -- |
23 |
| 041 ## - LANGUAGE CODE |
|---|
| Language code of text/sound track or separate title |
İngilizce |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Petke, Justyna. |
| Relator term |
author. |
| Relator code |
aut |
| -- |
http://id.loc.gov/vocabulary/relators/aut |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Bridging Constraint Satisfaction and Boolean Satisfiability / |
| Statement of responsibility, etc. |
by Justyna Petke. |
| 250 ## - EDITION STATEMENT |
|---|
| Edition statement |
1st ed. 2015. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Cham : |
| Name of producer, publisher, distributor, manufacturer |
Springer International Publishing : |
| -- |
Imprint: Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice |
2015. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
text file |
| Encoding format |
PDF |
| Source |
rda |
| 490 0# - SERIES STATEMENT |
|---|
| Series statement |
Artificial Intelligence: Foundations, Theory, and Algorithms, |
| International Standard Serial Number |
2365-3051 |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Introduction -- Background -- Solver Performance on Tractable CSPs: Empirical Evaluation -- SAT Encodings -- From CSP to SAT: Width Restrictions -- From CSP to SAT: Language Restrictions -- SAT Encodings of a Classical Problem: A Case Study -- Conclusions. . |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
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. . |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Artificial intelligence. |
|
|---|
| Topical term or geographic name entry element |
Information theory. |
|
|---|
| Topical term or geographic name entry element |
Artificial Intelligence. |
| Authority record control number or standard number |
http://scigraph.springernature.com/things/product-market-codes/I21000 |
|
|---|
| Topical term or geographic name entry element |
Theory of Computation. |
| Authority record control number or standard number |
http://scigraph.springernature.com/things/product-market-codes/I16005 |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
|---|
| Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Materials specified |
Springer eBooks |
| Public note |
Online access link to the resource |
| Uniform Resource Identifier |
<a href="https://doi.org/10.1007/978-3-319-21810-6">https://doi.org/10.1007/978-3-319-21810-6</a> |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
Library of Congress Classification |
| Koha item type |
E-Book |
