Verfügbarkeit: Bridging Constraint Satisfaction and Boolean Satisfiability

Bridging Constraint Satisfaction and Boolean Satisfiability:

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Petke, Justyna (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Cham Springer International Publishing 2015
Ausgabe:	1st ed. 2015
Schriftenreihe:	Artificial Intelligence: Foundations, Theory, and Algorithms
Schlagworte:	Boolesche Funktion Boolesches Netzwerk Künstliche Intelligenz Informationstheorie Informatik
Online-Zugang:	DE-634 DE-Aug4 DE-573 DE-M347 DE-92 DE-859 DE-860 DE-861 DE-473 DE-19 DE-355 DE-703 DE-20 DE-29 DE-739 Volltext Inhaltsverzeichnis Abstract
Beschreibung:	1 Online-Ressource (XI, 113 p.) Ill.
ISBN:	9783319218106
ISSN:	2365-3051
DOI:	10.1007/978-3-319-21810-6

Internformat

MARC


LEADER	00000nam a2200000zc 4500
001	BV042788315
003	DE-604
005	20150908
007	cr\|uuu---uuuuu
008	150901s2015 xx a\|\|\| o\|\|\|\| 00\|\|\| eng d
020			\|a 9783319218106 \|c Online \|9 978-3-319-21810-6
024	7		\|a 10.1007/978-3-319-21810-6 \|2 doi
035			\|a (OCoLC)920800825
035			\|a (DE-599)BVBBV042788315
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
049			\|a DE-355 \|a DE-19 \|a DE-Aug4 \|a DE-M347 \|a DE-573 \|a DE-859 \|a DE-703 \|a DE-473 \|a DE-29 \|a DE-20 \|a DE-92 \|a DE-634 \|a DE-860 \|a DE-861 \|a DE-739
082	0		\|a 006.3 \|2 23
084			\|a ZN 5630 \|0 (DE-625)157471: \|2 rvk
084			\|a ST 300 \|0 (DE-625)143650: \|2 rvk
100	1		\|a Petke, Justyna \|e Verfasser \|0 (DE-588)1076280129 \|4 aut
245	1	0	\|a Bridging Constraint Satisfaction and Boolean Satisfiability \|c by Justyna Petke
250			\|a 1st ed. 2015
264		1	\|a Cham \|b Springer International Publishing \|c 2015
300			\|a 1 Online-Ressource (XI, 113 p.) \|b Ill.
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	0		\|a Artificial Intelligence: Foundations, Theory, and Algorithms \|x 2365-3051
650	0	7	\|a Boolesche Funktion \|0 (DE-588)4146281-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Boolesches Netzwerk \|0 (DE-588)4620007-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Künstliche Intelligenz \|0 (DE-588)4033447-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Informationstheorie \|0 (DE-588)4026927-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Informatik \|0 (DE-588)4026894-9 \|2 gnd \|9 rswk-swf
689	0	0	\|a Informatik \|0 (DE-588)4026894-9 \|D s
689	0	1	\|a Informationstheorie \|0 (DE-588)4026927-9 \|D s
689	0	2	\|a Künstliche Intelligenz \|0 (DE-588)4033447-8 \|D s
689	0	3	\|a Boolesche Funktion \|0 (DE-588)4146281-6 \|D s
689	0	4	\|a Boolesches Netzwerk \|0 (DE-588)4620007-1 \|D s
689	0		\|5 DE-604
776	0	8	\|i Erscheint auch als \|n Druckausgabe \|z 978-3-319-21809-0
856	4	0	\|u https://doi.org/10.1007/978-3-319-21810-6 \|x Verlag \|3 Volltext
856	4	2	\|m Springer Fremddatenuebernahme \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028218192&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
856	4	2	\|m Springer Fremddatenuebernahme \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028218192&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-SCS
940	1		\|q ZDB-2-SCS_2015
943	1		\|a oai:aleph.bib-bvb.de:BVB01-028218192
966	e		\|u https://doi.org/10.1007/978-3-319-21810-6 \|l DE-634 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-21810-6 \|l DE-Aug4 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-21810-6 \|l DE-573 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-21810-6 \|l DE-M347 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-21810-6 \|l DE-92 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-21810-6 \|l DE-859 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-21810-6 \|l DE-860 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-21810-6 \|l DE-861 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-21810-6 \|l DE-473 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-21810-6 \|l DE-19 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-21810-6 \|l DE-355 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-21810-6 \|l DE-703 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-21810-6 \|l DE-20 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-21810-6 \|l DE-29 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-21810-6 \|l DE-739 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1822792440150491136
adam_text	BRIDGING CONSTRAINT SATISFACTION AND BOOLEAN SATISFIABILITY / PETKE, JUSTYNA : 2015 TABLE OF CONTENTS / INHALTSVERZEICHNIS 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. DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. BRIDGING CONSTRAINT SATISFACTION AND BOOLEAN SATISFIABILITY / PETKE, JUSTYNA : 2015 ABSTRACT / INHALTSTEXT 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. DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author	Petke, Justyna
author_GND	(DE-588)1076280129
author_facet	Petke, Justyna
author_role	aut
author_sort	Petke, Justyna
author_variant	j p jp
building	Verbundindex
bvnumber	BV042788315
classification_rvk	ZN 5630 ST 300
collection	ZDB-2-SCS
ctrlnum	(OCoLC)920800825 (DE-599)BVBBV042788315
dewey-full	006.3
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	006 - Special computer methods
dewey-raw	006.3
dewey-search	006.3
dewey-sort	16.3
dewey-tens	000 - Computer science, information, general works
discipline	Informatik Elektrotechnik / Elektronik / Nachrichtentechnik
doi_str_mv	10.1007/978-3-319-21810-6
edition	1st ed. 2015
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zc 4500</leader><controlfield tag="001">BV042788315</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150908</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">150901s2015 xx a\|\|\| o\|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319218106</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-21810-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-21810-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)920800825</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042788315</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-739</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ZN 5630</subfield><subfield code="0">(DE-625)157471:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 300</subfield><subfield code="0">(DE-625)143650:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Petke, Justyna</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1076280129</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Bridging Constraint Satisfaction and Boolean Satisfiability</subfield><subfield code="c">by Justyna Petke</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2015</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XI, 113 p.)</subfield><subfield code="b">Ill.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Artificial Intelligence: Foundations, Theory, and Algorithms</subfield><subfield code="x">2365-3051</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Boolesche Funktion</subfield><subfield code="0">(DE-588)4146281-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Boolesches Netzwerk</subfield><subfield code="0">(DE-588)4620007-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informationstheorie</subfield><subfield code="0">(DE-588)4026927-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Informationstheorie</subfield><subfield code="0">(DE-588)4026927-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Boolesche Funktion</subfield><subfield code="0">(DE-588)4146281-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Boolesches Netzwerk</subfield><subfield code="0">(DE-588)4620007-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-3-319-21809-0</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-21810-6</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028218192&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028218192&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028218192</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-21810-6</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-21810-6</subfield><subfield code="l">DE-Aug4</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-21810-6</subfield><subfield code="l">DE-573</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-21810-6</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-21810-6</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-21810-6</subfield><subfield code="l">DE-859</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-21810-6</subfield><subfield code="l">DE-860</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-21810-6</subfield><subfield code="l">DE-861</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-21810-6</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-21810-6</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-21810-6</subfield><subfield code="l">DE-355</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-21810-6</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-21810-6</subfield><subfield code="l">DE-20</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-21810-6</subfield><subfield code="l">DE-29</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-21810-6</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
id	DE-604.BV042788315
illustrated	Illustrated
indexdate	2025-01-31T19:05:34Z
institution	BVB
isbn	9783319218106
issn	2365-3051
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-028218192
oclc_num	920800825
open_access_boolean
owner	DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-634 DE-860 DE-861 DE-739
owner_facet	DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-634 DE-860 DE-861 DE-739
physical	1 Online-Ressource (XI, 113 p.) Ill.
psigel	ZDB-2-SCS ZDB-2-SCS_2015
publishDate	2015
publishDateSearch	2015
publishDateSort	2015
publisher	Springer International Publishing
record_format	marc
series2	Artificial Intelligence: Foundations, Theory, and Algorithms
spelling	Petke, Justyna Verfasser (DE-588)1076280129 aut Bridging Constraint Satisfaction and Boolean Satisfiability by Justyna Petke 1st ed. 2015 Cham Springer International Publishing 2015 1 Online-Ressource (XI, 113 p.) Ill. txt rdacontent c rdamedia cr rdacarrier Artificial Intelligence: Foundations, Theory, and Algorithms 2365-3051 Boolesche Funktion (DE-588)4146281-6 gnd rswk-swf Boolesches Netzwerk (DE-588)4620007-1 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Informationstheorie (DE-588)4026927-9 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf Informatik (DE-588)4026894-9 s Informationstheorie (DE-588)4026927-9 s Künstliche Intelligenz (DE-588)4033447-8 s Boolesche Funktion (DE-588)4146281-6 s Boolesches Netzwerk (DE-588)4620007-1 s DE-604 Erscheint auch als Druckausgabe 978-3-319-21809-0 https://doi.org/10.1007/978-3-319-21810-6 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028218192&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028218192&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract
spellingShingle	Petke, Justyna Bridging Constraint Satisfaction and Boolean Satisfiability Boolesche Funktion (DE-588)4146281-6 gnd Boolesches Netzwerk (DE-588)4620007-1 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Informationstheorie (DE-588)4026927-9 gnd Informatik (DE-588)4026894-9 gnd
subject_GND	(DE-588)4146281-6 (DE-588)4620007-1 (DE-588)4033447-8 (DE-588)4026927-9 (DE-588)4026894-9
title	Bridging Constraint Satisfaction and Boolean Satisfiability
title_auth	Bridging Constraint Satisfaction and Boolean Satisfiability
title_exact_search	Bridging Constraint Satisfaction and Boolean Satisfiability
title_full	Bridging Constraint Satisfaction and Boolean Satisfiability by Justyna Petke
title_fullStr	Bridging Constraint Satisfaction and Boolean Satisfiability by Justyna Petke
title_full_unstemmed	Bridging Constraint Satisfaction and Boolean Satisfiability by Justyna Petke
title_short	Bridging Constraint Satisfaction and Boolean Satisfiability
title_sort	bridging constraint satisfaction and boolean satisfiability
topic	Boolesche Funktion (DE-588)4146281-6 gnd Boolesches Netzwerk (DE-588)4620007-1 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Informationstheorie (DE-588)4026927-9 gnd Informatik (DE-588)4026894-9 gnd
topic_facet	Boolesche Funktion Boolesches Netzwerk Künstliche Intelligenz Informationstheorie Informatik
url	https://doi.org/10.1007/978-3-319-21810-6 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028218192&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028218192&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT petkejustyna bridgingconstraintsatisfactionandbooleansatisfiability

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge