Verfügbarkeit: Theory and applications of satisfiability testing

Theory and applications of satisfiability testing - SAT 2014: 17th international conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14 - 17, 2014 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Sinz, Carsten 1970- (HerausgeberIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Cham [u.a.] Springer 2014
Schriftenreihe:	Lecture notes in computer science 8561
Schlagworte:	Boolesche Formel Erfüllbarkeitsproblem Konferenzschrift > 2014 > Wien
Online-Zugang:	BTU01 FHM01 FHN01 FKE01 FRO01 TUM01 UBA01 UBG01 UBT01 UBW01 UBY01 UER01 UPA01 Volltext Inhaltsverzeichnis Abstract
Beschreibung:	1 Online-Ressource (XXVI, 448 S.) graph. Darst.
ISBN:	9783319092836 9783319092843
DOI:	10.1007/978-3-319-09284-3

Internformat

MARC


LEADER	00000nmm a2200000 cb4500
001	BV042096522
003	DE-604
005	00000000000000.0
006	a \|\|\|\| 10\|\|\|
007	cr\|uuu---uuuuu
008	140930s2014 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9783319092836 \|9 978-3-319-09283-6
020			\|a 9783319092843 \|c Online \|9 978-3-319-09284-3
024	7		\|a 10.1007/978-3-319-09284-3 \|2 doi
035			\|a (OCoLC)885785277
035			\|a (DE-599)BVBBV042096522
040			\|a DE-604 \|b ger \|e rakwb
041	0		\|a eng
049			\|a DE-473 \|a DE-20 \|a DE-91 \|a DE-706 \|a DE-739 \|a DE-384 \|a DE-M347 \|a DE-703 \|a DE-29 \|a DE-92 \|a DE-859 \|a DE-861 \|a DE-634
082	0		\|a 004
084			\|a SS 4800 \|0 (DE-625)143528: \|2 rvk
084			\|a DAT 540f \|2 stub
084			\|a DAT 706f \|2 stub
084			\|a MAT 030f \|2 stub
084			\|a DAT 517f \|2 stub
245	1	0	\|a Theory and applications of satisfiability testing - SAT 2014 \|b 17th international conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14 - 17, 2014 ; proceedings \|c Carsten Sinz ... (eds.)
264		1	\|a Cham [u.a.] \|b Springer \|c 2014
300			\|a 1 Online-Ressource (XXVI, 448 S.) \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 8561
650	0	7	\|a Boolesche Formel \|0 (DE-588)4328877-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Erfüllbarkeitsproblem \|0 (DE-588)4323820-8 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2014 \|z Wien \|2 gnd-content
689	0	0	\|a Erfüllbarkeitsproblem \|0 (DE-588)4323820-8 \|D s
689	0	1	\|a Boolesche Formel \|0 (DE-588)4328877-7 \|D s
689	0		\|5 DE-604
700	1		\|a Sinz, Carsten \|d 1970- \|0 (DE-588)128686480 \|4 edt
711	2		\|a SAT \|n 17 \|d 2014 \|c Wien \|j Sonstige \|0 (DE-588)1058563807 \|4 oth
830		0	\|a Lecture notes in computer science \|v 8561 \|w (DE-604)BV014880109 \|9 8561
856	4	0	\|u https://doi.org/10.1007/978-3-319-09284-3 \|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=027537280&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=027537280&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-LNC
999			\|a oai:aleph.bib-bvb.de:BVB01-027537280
966	e		\|u https://doi.org/10.1007/978-3-319-09284-3 \|l BTU01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-09284-3 \|l FHM01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-09284-3 \|l FHN01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-09284-3 \|l FKE01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-09284-3 \|l FRO01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-09284-3 \|l TUM01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-09284-3 \|l UBA01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-09284-3 \|l UBG01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-09284-3 \|l UBT01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-09284-3 \|l UBW01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-09284-3 \|l UBY01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-09284-3 \|l UER01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-09284-3 \|l UPA01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1804152557660012544
adam_text	THEORY AND APPLICATIONS OF SATISFIABILITY TESTING – SAT 2014 / : 2014 TABLE OF CONTENTS / INHALTSVERZEICHNIS A (BIASED) PROOF COMPLEXITY SURVEY FOR SAT PRACTITIONERS CORES IN CORE BASED MAXSAT ALGORITHMS: AN ANALYSIS SOLVING MAXSAT AND #SAT ON STRUCTURED CNF FORMULAS SOLVING SPARSE INSTANCES OF MAX SAT VIA WIDTH REDUCTION AND GREEDY RESTRICTION MUS EXTRACTION USING CLAUSAL PROOFS ON COMPUTING PREFERRED MUSES AND MCSES CONDITIONAL LOWER BOUNDS FOR FAILED LITERALS AND RELATED TECHNIQUES FIXED-PARAMETER TRACTABLE REDUCTIONS TO SAT ON REDUCING MAXIMUM INDEPENDENT SET TO MINIMUM SATISFIABILITY LONG PROOFS OF (SEEMINGLY) SIMPLE FORMULAS PROOF COMPLEXITY AND THE KNESER-LOVASZ THEOREM QBF RESOLUTION SYSTEMS AND THEIR PROOF COMPLEXITIES UNIFIED CHARACTERISATIONS OF RESOLUTION HARDNESS MEASURES COMMUNITY BRANCHING FOR PARALLEL PORTFOLIO SAT SOLVERS LAZY CLAUSE EXCHANGE POLICY FOR PARALLEL SAT SOLVERS ULTIMATELY INCREMENTAL SAT A SAT ATTACK ON THE ERDOS DISCREPANCY CONJECTURE DOMINANT CONTROLLABILITY CHECK USING QBF-SOLVER AND NETLIST FAST DQBF REFUTATION IMPACT OF COMMUNITY STRUCTURE ON SAT SOLVER PERFORMANCE VARIABLE DEPENDENCIES AND Q-RESOLUTION DETECTING CARDINALITY CONSTRAINTS IN CNF IMPROVING IMPLEMENTATION OF SLS SOLVERS FOR SAT AND NEW HEURISTICS FOR K-SAT WITH LONG CLAUSES EVERYTHING YOU ALWAYS WANTED TO KNOW ABOUT BLOCKED SETS (BUT WERE AFRAID TO ASK) MINIMAL-MODEL-GUIDED APPROACHES TO SOLVING POLYNOMIAL CONSTRAINTS AND EXTENSIONS SIMPLIFYING PSEUDO-BOOLEAN CONSTRAINTS IN RESIDUAL NUMBER SYSTEMS AN ISING MODEL INSPIRED EXTENSION OF THE PRODUCT-BASED MP FRAMEWORK FOR SAT APPROXIMATING HIGHLY SATISFIABLE RANDOM 2-SAT HYPERGRAPH ACYCLICITY AND PROPOSITIONAL MODEL COUNTING AUTOMATIC EVALUATION OF REDUCTIONS BETWEEN NP-COMPLETE PROBLEMS DRAT-TRIM: EFFICIENT CHECKING AND TRIMMING USING EXPRESSIVE CLAUSAL PROOFS MPIDEPQBF: TOWARDS PARALLEL QBF SOLVING WITHOUT KNOWLEDGE SHARING OPEN-WBO: A MODULAR MAXSAT SOLVER DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. THEORY AND APPLICATIONS OF SATISFIABILITY TESTING – SAT 2014 / : 2014 ABSTRACT / INHALTSTEXT THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2014, HELD AS PART OF THE VIENNA SUMMER OF LOGIC, VSL 2014, IN VIENNA, AUSTRIA, IN JULY 2014. THE 21 REGULAR PAPERS, 7 SHORT PAPERS AND 4 TOOL PAPERS PRESENTED TOGETHER WITH 2 INVITED TALKS WERE CAREFULLY REVIEWED AND SELECTED FROM 78 SUBMISSIONS. THE PAPERS HAVE BEEN ORGANIZED IN THE FOLLOWING TOPICAL SECTIONS: MAXIMUM SATISFIABILITY; MINIMAL UNSATISFIABILITY; COMPLEXITY AND REDUCTIONS; PROOF COMPLEXITY; PARALLEL AND INCREMENTAL (Q)SAT; APPLICATIONS; STRUCTURE; SIMPLIFICATION AND SOLVING; AND ANALYSIS DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author2	Sinz, Carsten 1970-
author2_role	edt
author2_variant	c s cs
author_GND	(DE-588)128686480
author_facet	Sinz, Carsten 1970-
building	Verbundindex
bvnumber	BV042096522
classification_rvk	SS 4800
classification_tum	DAT 540f DAT 706f MAT 030f DAT 517f
collection	ZDB-2-LNC
ctrlnum	(OCoLC)885785277 (DE-599)BVBBV042096522
dewey-full	004
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004
dewey-search	004
dewey-sort	14
dewey-tens	000 - Computer science, information, general works
discipline	Informatik Mathematik
doi_str_mv	10.1007/978-3-319-09284-3
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03740nmm a2200673 cb4500</leader><controlfield tag="001">BV042096522</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="006">a \|\|\|\| 10\|\|\| </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">140930s2014 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319092836</subfield><subfield code="9">978-3-319-09283-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319092843</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-09284-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-09284-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)885785277</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042096522</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 517f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theory and applications of satisfiability testing - SAT 2014</subfield><subfield code="b">17th international conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14 - 17, 2014 ; proceedings</subfield><subfield code="c">Carsten Sinz ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XXVI, 448 S.)</subfield><subfield code="b">graph. Darst.</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="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8561</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Boolesche Formel</subfield><subfield code="0">(DE-588)4328877-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2014</subfield><subfield code="z">Wien</subfield><subfield code="2">gnd-content</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="1"><subfield code="a">Boolesche Formel</subfield><subfield code="0">(DE-588)4328877-7</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">Sinz, Carsten</subfield><subfield code="d">1970-</subfield><subfield code="0">(DE-588)128686480</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">SAT</subfield><subfield code="n">17</subfield><subfield code="d">2014</subfield><subfield code="c">Wien</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1058563807</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8561</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8561</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-09284-3</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=027537280&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=027537280&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-LNC</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027537280</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-09284-3</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-LNC</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-09284-3</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-2-LNC</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-09284-3</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-LNC</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-09284-3</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-2-LNC</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-09284-3</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-LNC</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-09284-3</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-LNC</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-09284-3</subfield><subfield code="l">UBA01</subfield><subfield code="p">ZDB-2-LNC</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-09284-3</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-LNC</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-09284-3</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-LNC</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-09284-3</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-LNC</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-09284-3</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-LNC</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-09284-3</subfield><subfield code="l">UER01</subfield><subfield code="p">ZDB-2-LNC</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-09284-3</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2014 Wien gnd-content
genre_facet	Konferenzschrift 2014 Wien
id	DE-604.BV042096522
illustrated	Not Illustrated
indexdate	2024-07-10T01:12:37Z
institution	BVB
institution_GND	(DE-588)1058563807
isbn	9783319092836 9783319092843
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-027537280
oclc_num	885785277
open_access_boolean
owner	DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-859 DE-861 DE-634
owner_facet	DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-859 DE-861 DE-634
physical	1 Online-Ressource (XXVI, 448 S.) graph. Darst.
psigel	ZDB-2-LNC
publishDate	2014
publishDateSearch	2014
publishDateSort	2014
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Theory and applications of satisfiability testing - SAT 2014 17th international conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14 - 17, 2014 ; proceedings Carsten Sinz ... (eds.) Cham [u.a.] Springer 2014 1 Online-Ressource (XXVI, 448 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 8561 Boolesche Formel (DE-588)4328877-7 gnd rswk-swf Erfüllbarkeitsproblem (DE-588)4323820-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2014 Wien gnd-content Erfüllbarkeitsproblem (DE-588)4323820-8 s Boolesche Formel (DE-588)4328877-7 s DE-604 Sinz, Carsten 1970- (DE-588)128686480 edt SAT 17 2014 Wien Sonstige (DE-588)1058563807 oth Lecture notes in computer science 8561 (DE-604)BV014880109 8561 https://doi.org/10.1007/978-3-319-09284-3 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027537280&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=027537280&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract
spellingShingle	Theory and applications of satisfiability testing - SAT 2014 17th international conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14 - 17, 2014 ; proceedings Lecture notes in computer science Boolesche Formel (DE-588)4328877-7 gnd Erfüllbarkeitsproblem (DE-588)4323820-8 gnd
subject_GND	(DE-588)4328877-7 (DE-588)4323820-8 (DE-588)1071861417
title	Theory and applications of satisfiability testing - SAT 2014 17th international conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14 - 17, 2014 ; proceedings
title_auth	Theory and applications of satisfiability testing - SAT 2014 17th international conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14 - 17, 2014 ; proceedings
title_exact_search	Theory and applications of satisfiability testing - SAT 2014 17th international conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14 - 17, 2014 ; proceedings
title_full	Theory and applications of satisfiability testing - SAT 2014 17th international conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14 - 17, 2014 ; proceedings Carsten Sinz ... (eds.)
title_fullStr	Theory and applications of satisfiability testing - SAT 2014 17th international conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14 - 17, 2014 ; proceedings Carsten Sinz ... (eds.)
title_full_unstemmed	Theory and applications of satisfiability testing - SAT 2014 17th international conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14 - 17, 2014 ; proceedings Carsten Sinz ... (eds.)
title_short	Theory and applications of satisfiability testing - SAT 2014
title_sort	theory and applications of satisfiability testing sat 2014 17th international conference held as part of the vienna summer of logic vsl 2014 vienna austria july 14 17 2014 proceedings
title_sub	17th international conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14 - 17, 2014 ; proceedings
topic	Boolesche Formel (DE-588)4328877-7 gnd Erfüllbarkeitsproblem (DE-588)4323820-8 gnd
topic_facet	Boolesche Formel Erfüllbarkeitsproblem Konferenzschrift 2014 Wien
url	https://doi.org/10.1007/978-3-319-09284-3 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027537280&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=027537280&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT sinzcarsten theoryandapplicationsofsatisfiabilitytestingsat201417thinternationalconferenceheldaspartoftheviennasummeroflogicvsl2014viennaaustriajuly14172014proceedings AT satwien theoryandapplicationsofsatisfiabilitytestingsat201417thinternationalconferenceheldaspartoftheviennasummeroflogicvsl2014viennaaustriajuly14172014proceedings

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