Verfügbarkeit: Das Erfüllbarkeitsproblem SAT | Technische Universität München

Das Erfüllbarkeitsproblem SAT: Algorithmen und Analysen

Gespeichert in:

Bibliographische Detailangaben
Beteiligte Personen:	Schöning, Uwe 1955- (VerfasserIn), Torán, Jacobo (VerfasserIn)
Format:	Buch
Sprache:	Deutsch
Veröffentlicht:	Berlin Lehmanns Media 2012
Schriftenreihe:	Mathematik für Anwendungen 1
Schlagwörter:	Erfüllbarkeitsproblem
Links:	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025142293&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Beschreibung:	Literaturangaben
Umfang:	187 S. graph. Darst. 24 cm
ISBN:	9783865414731

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV040287035
003	DE-604
005	20160212
007	t\|
008	120702s2012 gw d\|\|\| \|\|\|\| 00\|\|\| ger d
015			\|a 12,N07 \|2 dnb
015			\|a 12,A15 \|2 dnb
016	7		\|a 1019653426 \|2 DE-101
020			\|a 9783865414731 \|c kart. : EUR 19.95 (DE), EUR 20.60 (AT) \|9 978-3-86541-473-1
024	3		\|a 9783865414731
035			\|a (OCoLC)794511323
035			\|a (DE-599)DNB1019653426
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger
044			\|a gw \|c XA-DE-BE
049			\|a DE-91G \|a DE-20 \|a DE-11
082	0		\|a 511.352 \|2 22/ger
084			\|a SK 890 \|0 (DE-625)143267: \|2 rvk
084			\|a ST 120 \|0 (DE-625)143585: \|2 rvk
084			\|a ST 134 \|0 (DE-625)143590: \|2 rvk
084			\|a DAT 542f \|2 stub
084			\|a 510 \|2 sdnb
100	1		\|a Schöning, Uwe \|d 1955- \|e Verfasser \|0 (DE-588)110028740 \|4 aut
245	1	0	\|a Das Erfüllbarkeitsproblem SAT \|b Algorithmen und Analysen \|c Uwe Schöning ; Jacobo Torán
264		1	\|a Berlin \|b Lehmanns Media \|c 2012
300			\|a 187 S. \|b graph. Darst. \|c 24 cm
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Mathematik für Anwendungen \|v 1
490	0		\|a Informatik
500			\|a Literaturangaben
650	0	7	\|a Erfüllbarkeitsproblem \|0 (DE-588)4323820-8 \|2 gnd \|9 rswk-swf
689	0	0	\|a Erfüllbarkeitsproblem \|0 (DE-588)4323820-8 \|D s
689	0		\|5 DE-604
700	1		\|a Torán, Jacobo \|e Verfasser \|4 aut
830		0	\|a Mathematik für Anwendungen \|v 1 \|w (DE-604)BV040341599 \|9 1
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025142293&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-025142293

Datensatz im Suchindex

DE-BY-TUM_call_number	0102 DAT 542f 2012 A 4962
DE-BY-TUM_katkey	1865375
DE-BY-TUM_location	01
DE-BY-TUM_media_number	040071412061
_version_	1821933861015126016
adam_text	IMAGE 1 INHALTSVERZEICHNIS EINLEITUNG 9 1 ERSTE DEFINITIONEN UND ERGEBNISSE 11 1.1 BOOLE SCHE FORMELN UND BELEGUNGEN 11 1.2 KONJUNKTIVE NORMALFORM UND CSP 17 1.3 TSEITIN-CODIERUNG UND SERIEN-PARALLELE GRAPHEN 2 0 1.4 BEISPIELE FUER SAT-CODIERUNGEN 2 6 1.5 AUTARKE BELEGUNGEN 2 9 1.6 CRAIG-INTERPOLANTEN 3 0 1.7 ERFUELLBARKEIT DURCH KOMBINATORIK 32 2 RESOLUTIONSKALKUEL 3 9 2.1 KALKUELE U N D N P VERSUS CO-NP 3 9 2.2 WIDERLEGUNGSVOLLSTAENDIGKEIT 41 2.3 UNIT-KLAUSELN, SUBSUMPTION U N D PURE LITERALE 4 7 2.4 STRATEGIEN U N D RESTRIKTIONEN 4 9 2.5 EXPONENTIELLE UNTERE SCHRANKE FUER DIE LAENGE VON RESOLUTIONSBEWEISEN . 5 6 3 POLYNOMIAL-LOESBARE SPEZIALFAELLE 6 7 3.1 2-KNF 6 7 3.2 HORN-FORMELN 71 3.3 RENAMABLE HORN-FORMELN 7 3 3.4 SCHAEFER-KLASSIFIKATION 76 4 BACKTRACKING UND DPLL-ALGORITHMEN 77 4.1 D P L L UND HEURISTISCHE FUNKTIONEN 79 4.2 MONIEN-SPECKENMEYER-ALGORITHMUS 81 4.3 PATURI-PUDLAEK-ZANE-ALGORITHMUS 84 4.4 D P L L IN DER PRAXIS 88 4.4.1 KLAUSELLERNEN 89 4.4.2 NICHT-CHRONOLOGISCHES BACKTRACKING 91 HTTP://D-NB.INFO/1019653426 IMAGE 2 5 LOKALE SUCHE UND HAMMING-KUGELN 9 3 5.1 DETERMINISTISCHE LOKALE SUCHE 9 4 5.2 ZUFAELLIGE ANFANGSBELEGUNG 9 7 5.3 UBERDECKUNGSCODES 99 5.4 EIN RANDOM WALK-ALGORITHMUS 102 5.5 MOSER-SCHEDER-ALGORITHMUS 106 5.6 GSAT, WALKSAT, NOVELTY 111 5.7 HARTE FORMELN FUER LOKALE SUCHE 113 6 WEITERE SAT-ALGORITHMEN 117 6.1 EIN DIVIDE-AND-CONQUER-ALGORITHMUS 117 6.2 STAELMARCK-ALGORITHMUS 120 6.3 SAT-ALGORITHMEN MIT O B D D S 124 6.4 RANDOMISIERTES RUNDEN U N D DIE CROSS-ENTROPY-METHODE 126 7 ZUFAELLIGE KLAUSELMENGEN UND PHYSIKALISCHE ANSAETZE 129 7.1 SCHWELLENWERT UND PHASENUEBERGANG 129 7.2 ZUFAELLIGE ERFUELLBARE FORMELN 133 7.3 ISING-MODELL UND PHYSIKALISCH MOTIVIERTE ALGORITHMEN 135 8 ABSCHLUSSDISKUSSION 141 ANHANG: PROGRAMMIEREN IN PSEUDO-CODE 145 ANHANG: GRAPHEN 147 ANHANG: ASYMPTOTISCHE NOTATION U N D REKURSIONSGLEICHUNGEN 149 ANHANG: EFFIZIENTE ALGORITHMEN, P UND N P 151 ANHANG: PROBABILISTISCHE ALGORITHMEN U N D DIE KLASSE RP 155 ANHANG: BOOLE SCHE SCHALTKREISE 157 ANHANG: SAT IST NP-VOLLSTAENDIG 160 ANHANG: BINAERE ENTSCHEIDUNGSGRAPHEN (BDDS) 163 ANHANG: ZUFALLSVARIABLEN 166 ANHANG: MARKOV-KETTEN 170 ANHANG: ABSCHAETZUNGEN MIT BINOMIALKOEFFIZIENTEN 172 LITERATUR 174 INDEX 184
any_adam_object	1
author	Schöning, Uwe 1955- Torán, Jacobo
author_GND	(DE-588)110028740
author_facet	Schöning, Uwe 1955- Torán, Jacobo
author_role	aut aut
author_sort	Schöning, Uwe 1955-
author_variant	u s us j t jt
building	Verbundindex
bvnumber	BV040287035
classification_rvk	SK 890 ST 120 ST 134
classification_tum	DAT 542f
ctrlnum	(OCoLC)794511323 (DE-599)DNB1019653426
dewey-full	511.352
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511.352
dewey-search	511.352
dewey-sort	3511.352
dewey-tens	510 - Mathematics
discipline	Informatik Mathematik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01835nam a2200493 cb4500</leader><controlfield tag="001">BV040287035</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160212 </controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">120702s2012 gw d\|\|\| \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N07</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,A15</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1019653426</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783865414731</subfield><subfield code="c">kart. : EUR 19.95 (DE), EUR 20.60 (AT)</subfield><subfield code="9">978-3-86541-473-1</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783865414731</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)794511323</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1019653426</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.352</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 890</subfield><subfield code="0">(DE-625)143267:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 120</subfield><subfield code="0">(DE-625)143585:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 134</subfield><subfield code="0">(DE-625)143590:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 542f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Schöning, Uwe</subfield><subfield code="d">1955-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)110028740</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Das Erfüllbarkeitsproblem SAT</subfield><subfield code="b">Algorithmen und Analysen</subfield><subfield code="c">Uwe Schöning ; Jacobo Torán</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Lehmanns Media</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">187 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Mathematik für Anwendungen</subfield><subfield code="v">1</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Informatik</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Erfüllbarkeitsproblem</subfield><subfield code="0">(DE-588)4323820-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Erfüllbarkeitsproblem</subfield><subfield code="0">(DE-588)4323820-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Torán, Jacobo</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Mathematik für Anwendungen</subfield><subfield code="v">1</subfield><subfield code="w">(DE-604)BV040341599</subfield><subfield code="9">1</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=025142293&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025142293</subfield></datafield></record></collection>
id	DE-604.BV040287035
illustrated	Illustrated
indexdate	2024-12-20T16:11:39Z
institution	BVB
isbn	9783865414731
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-025142293
oclc_num	794511323
open_access_boolean
owner	DE-91G DE-BY-TUM DE-20 DE-11
owner_facet	DE-91G DE-BY-TUM DE-20 DE-11
physical	187 S. graph. Darst. 24 cm
publishDate	2012
publishDateSearch	2012
publishDateSort	2012
publisher	Lehmanns Media
record_format	marc
series	Mathematik für Anwendungen
series2	Mathematik für Anwendungen Informatik
spellingShingle	Schöning, Uwe 1955- Torán, Jacobo Das Erfüllbarkeitsproblem SAT Algorithmen und Analysen Mathematik für Anwendungen Erfüllbarkeitsproblem (DE-588)4323820-8 gnd
subject_GND	(DE-588)4323820-8
title	Das Erfüllbarkeitsproblem SAT Algorithmen und Analysen
title_auth	Das Erfüllbarkeitsproblem SAT Algorithmen und Analysen
title_exact_search	Das Erfüllbarkeitsproblem SAT Algorithmen und Analysen
title_full	Das Erfüllbarkeitsproblem SAT Algorithmen und Analysen Uwe Schöning ; Jacobo Torán
title_fullStr	Das Erfüllbarkeitsproblem SAT Algorithmen und Analysen Uwe Schöning ; Jacobo Torán
title_full_unstemmed	Das Erfüllbarkeitsproblem SAT Algorithmen und Analysen Uwe Schöning ; Jacobo Torán
title_short	Das Erfüllbarkeitsproblem SAT
title_sort	das erfullbarkeitsproblem sat algorithmen und analysen
title_sub	Algorithmen und Analysen
topic	Erfüllbarkeitsproblem (DE-588)4323820-8 gnd
topic_facet	Erfüllbarkeitsproblem
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025142293&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV040341599
work_keys_str_mv	AT schoninguwe daserfullbarkeitsproblemsatalgorithmenundanalysen AT toranjacobo daserfullbarkeitsproblemsatalgorithmenundanalysen

Verfügbarkeit

Bestellen (Login erforderlich)

Inhaltsverzeichnis
Paper/Kapitel scannen lassen

Teilbibliothek Mathematik & Informatik

Bestandsangaben von Teilbibliothek Mathematik & Informatik
Signatur:	0102 DAT 542f 2012 A 4962 Lageplan
Exemplar 1	Ausleihbar Am Standort