Holdings: Theory and applications of satisfiability testing

Theory and applications of satisfiability testing – SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012 : proceedings

Saved in:

Bibliographic Details
Corporate Author:	SAT Trient (Author)
Other Authors:	Cimatti, Alessandro (Editor), Sebastiani, Roberto (Editor)
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Berlin ; Heidelberg Springer [2012]
Series:	Lecture Notes in Computer Science 7317
Subjects:	Erfüllbarkeitsproblem Boolesche Formel Computer science Computer software Logic design Artificial intelligence Mathematics Computer Science Konferenzschrift > 2012 > Trient Aufsatzsammlung
Online Access:	BTU01 FHA01 FHM01 FHN01 FKE01 TUM01 UBA01 UBG01 UBM01 UBR01 UBT01 UBW01 UBY01 UPA01 Volltext Inhaltsverzeichnis
Item Description:	Literaturangaben
Physical Description:	Online-Ressource (XIII, 504 Seiten) Illustrationen, Diagramme
ISBN:	9783642316128
DOI:	10.1007/978-3-642-31612-8

Staff View

MARC


LEADER	00000nmm a22000001cb4500
001	BV049309263
003	DE-604
005	20231018
006	a \|\|\|\| 10\|\|\|
007	cr\|uuu---uuuuu
008	230901s2012 gw \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9783642316128 \|9 978-3-642-31612-8
024	7		\|a 10.1007/978-3-642-31612-8 \|2 doi
035			\|a (OCoLC)1401194343
035			\|a (DE-599)BSZ367687429
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
044			\|a gw \|c XA-DE \|a gw \|c XA-DE-BE
049			\|a DE-473 \|a DE-634 \|a DE-Aug4 \|a DE-M347 \|a DE-92 \|a DE-859 \|a DE-91 \|a DE-384 \|a DE-19 \|a DE-355 \|a DE-703 \|a DE-20 \|a DE-706 \|a DE-739
084			\|a 00B25 \|2 msc
084			\|a 68T20 \|2 msc
084			\|a *68-06 \|2 msc
084			\|a 68Q25 \|2 msc
111	2		\|a SAT \|n 15 \|d 2012 \|c Trient \|j Verfasser \|0 (DE-588)1026434777 \|4 aut
245	1	0	\|a Theory and applications of satisfiability testing – SAT 2012 \|b 15th International Conference, Trento, Italy, June 17-20, 2012 : proceedings \|c Alessandro Cimatti, Roberto Sebastiani (eds.)
264		1	\|a Berlin ; Heidelberg \|b Springer \|c [2012]
300			\|a Online-Ressource (XIII, 504 Seiten) \|b Illustrationen, Diagramme
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture Notes in Computer Science \|v 7317
500			\|a Literaturangaben
650	0	7	\|a Erfüllbarkeitsproblem \|0 (DE-588)4323820-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Boolesche Formel \|0 (DE-588)4328877-7 \|2 gnd \|9 rswk-swf
653		0	\|a Computer science
653		0	\|a Computer software
653		0	\|a Logic design
653		0	\|a Artificial intelligence
653		0	\|a Mathematics
653		0	\|a Computer Science
653		0	\|a Computer science
653		0	\|a Computer software
653		0	\|a Logic design
653		0	\|a Artificial intelligence
653		0	\|a Mathematics
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2012 \|z Trient \|2 gnd-content
655		7	\|0 (DE-588)4143413-4 \|a Aufsatzsammlung \|2 gnd-content
689	0	0	\|a Erfüllbarkeitsproblem \|0 (DE-588)4323820-8 \|D s
689	0		\|5 DE-604
689	1	0	\|a Erfüllbarkeitsproblem \|0 (DE-588)4323820-8 \|D s
689	1	1	\|a Boolesche Formel \|0 (DE-588)4328877-7 \|D s
689	1		\|5 DE-604
700	1		\|a Cimatti, Alessandro \|4 edt
700	1		\|a Sebastiani, Roberto \|4 edt
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe, Paperback \|z 978-3-642-31611-1
830		0	\|a Lecture Notes in Computer Science \|v 7317 \|w (DE-604)BV014880109 \|9 7317
856	4	0	\|u https://doi.org/10.1007/978-3-642-31612-8 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
856	4	2	\|m B:DE-101 \|q application/pdf \|u http://d-nb.info/1023292092/04 \|v 2013-05-01 \|x Verlag \|3 Inhaltsverzeichnis
912			\|a ZDB-2-LNC \|a ZDB-2-SCS
940	1		\|q ZDB-2-LNC_2012
940	1		\|q ZDB-2-SCS_2012
999			\|a oai:aleph.bib-bvb.de:BVB01-034570399
966	e		\|u https://doi.org/10.1007/978-3-642-31612-8 \|l BTU01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-31612-8 \|l FHA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-31612-8 \|l FHM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-31612-8 \|l FHN01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-31612-8 \|l FKE01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-31612-8 \|l TUM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-31612-8 \|l UBA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-31612-8 \|l UBG01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-31612-8 \|l UBM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-31612-8 \|l UBR01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-31612-8 \|l UBT01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-31612-8 \|l UBW01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-31612-8 \|l UBY01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-31612-8 \|l UPA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Record in the Search Index

_version_	1804185811093028864
adam_txt
any_adam_object
any_adam_object_boolean
author2	Cimatti, Alessandro Sebastiani, Roberto
author2_role	edt edt
author2_variant	a c ac r s rs
author_corporate	SAT Trient
author_corporate_role	aut
author_facet	Cimatti, Alessandro Sebastiani, Roberto SAT Trient
author_sort	SAT Trient
building	Verbundindex
bvnumber	BV049309263
collection	ZDB-2-LNC ZDB-2-SCS
ctrlnum	(OCoLC)1401194343 (DE-599)BSZ367687429
discipline	Informatik
discipline_str_mv	Informatik
doi_str_mv	10.1007/978-3-642-31612-8
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04096nmm a22008771cb4500</leader><controlfield tag="001">BV049309263</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20231018 </controlfield><controlfield tag="006">a \|\|\|\| 10\|\|\| </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">230901s2012 gw \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642316128</subfield><subfield code="9">978-3-642-31612-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-31612-8</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1401194343</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BSZ367687429</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE</subfield><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">00B25</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68T20</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">*68-06</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68Q25</subfield><subfield code="2">msc</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">SAT</subfield><subfield code="n">15</subfield><subfield code="d">2012</subfield><subfield code="c">Trient</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1026434777</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theory and applications of satisfiability testing – SAT 2012</subfield><subfield code="b">15th International Conference, Trento, Italy, June 17-20, 2012 : proceedings</subfield><subfield code="c">Alessandro Cimatti, Roberto Sebastiani (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg</subfield><subfield code="b">Springer</subfield><subfield code="c">[2012]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">Online-Ressource (XIII, 504 Seiten)</subfield><subfield code="b">Illustrationen, Diagramme</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">7317</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="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="653" ind1=" " ind2="0"><subfield code="a">Computer science</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Computer software</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Logic design</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Mathematics</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Computer Science</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Computer science</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Computer software</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Logic design</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Mathematics</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2012</subfield><subfield code="z">Trient</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cimatti, Alessandro</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sebastiani, Roberto</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Paperback</subfield><subfield code="z">978-3-642-31611-1</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">7317</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">7317</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-31612-8</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">B:DE-101</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://d-nb.info/1023292092/04</subfield><subfield code="v">2013-05-01</subfield><subfield code="x">Verlag</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2012</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2012</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034570399</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-31612-8</subfield><subfield code="l">BTU01</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-642-31612-8</subfield><subfield code="l">FHA01</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-642-31612-8</subfield><subfield code="l">FHM01</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-642-31612-8</subfield><subfield code="l">FHN01</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-642-31612-8</subfield><subfield code="l">FKE01</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-642-31612-8</subfield><subfield code="l">TUM01</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-642-31612-8</subfield><subfield code="l">UBA01</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-642-31612-8</subfield><subfield code="l">UBG01</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-642-31612-8</subfield><subfield code="l">UBM01</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-642-31612-8</subfield><subfield code="l">UBR01</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-642-31612-8</subfield><subfield code="l">UBT01</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-642-31612-8</subfield><subfield code="l">UBW01</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-642-31612-8</subfield><subfield code="l">UBY01</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-642-31612-8</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2012 Trient gnd-content (DE-588)4143413-4 Aufsatzsammlung gnd-content
genre_facet	Konferenzschrift 2012 Trient Aufsatzsammlung
id	DE-604.BV049309263
illustrated	Not Illustrated
index_date	2024-07-03T22:40:30Z
indexdate	2024-07-10T10:01:10Z
institution	BVB
institution_GND	(DE-588)1026434777
isbn	9783642316128
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-034570399
oclc_num	1401194343
open_access_boolean
owner	DE-473 DE-BY-UBG DE-634 DE-Aug4 DE-M347 DE-92 DE-859 DE-91 DE-BY-TUM DE-384 DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-703 DE-20 DE-706 DE-739
owner_facet	DE-473 DE-BY-UBG DE-634 DE-Aug4 DE-M347 DE-92 DE-859 DE-91 DE-BY-TUM DE-384 DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-703 DE-20 DE-706 DE-739
physical	Online-Ressource (XIII, 504 Seiten) Illustrationen, Diagramme
psigel	ZDB-2-LNC ZDB-2-SCS ZDB-2-LNC_2012 ZDB-2-SCS_2012
publishDate	2012
publishDateSearch	2012
publishDateSort	2012
publisher	Springer
record_format	marc
series	Lecture Notes in Computer Science
series2	Lecture Notes in Computer Science
spelling	SAT 15 2012 Trient Verfasser (DE-588)1026434777 aut Theory and applications of satisfiability testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012 : proceedings Alessandro Cimatti, Roberto Sebastiani (eds.) Berlin ; Heidelberg Springer [2012] Online-Ressource (XIII, 504 Seiten) Illustrationen, Diagramme txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 7317 Literaturangaben Erfüllbarkeitsproblem (DE-588)4323820-8 gnd rswk-swf Boolesche Formel (DE-588)4328877-7 gnd rswk-swf Computer science Computer software Logic design Artificial intelligence Mathematics Computer Science (DE-588)1071861417 Konferenzschrift 2012 Trient gnd-content (DE-588)4143413-4 Aufsatzsammlung gnd-content Erfüllbarkeitsproblem (DE-588)4323820-8 s DE-604 Boolesche Formel (DE-588)4328877-7 s Cimatti, Alessandro edt Sebastiani, Roberto edt Erscheint auch als Druck-Ausgabe, Paperback 978-3-642-31611-1 Lecture Notes in Computer Science 7317 (DE-604)BV014880109 7317 https://doi.org/10.1007/978-3-642-31612-8 Verlag URL des Erstveröffentlichers Volltext B:DE-101 application/pdf http://d-nb.info/1023292092/04 2013-05-01 Verlag Inhaltsverzeichnis
spellingShingle	Theory and applications of satisfiability testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012 : proceedings Lecture Notes in Computer Science Erfüllbarkeitsproblem (DE-588)4323820-8 gnd Boolesche Formel (DE-588)4328877-7 gnd
subject_GND	(DE-588)4323820-8 (DE-588)4328877-7 (DE-588)1071861417 (DE-588)4143413-4
title	Theory and applications of satisfiability testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012 : proceedings
title_auth	Theory and applications of satisfiability testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012 : proceedings
title_exact_search	Theory and applications of satisfiability testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012 : proceedings
title_exact_search_txtP	Theory and applications of satisfiability testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012 : proceedings
title_full	Theory and applications of satisfiability testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012 : proceedings Alessandro Cimatti, Roberto Sebastiani (eds.)
title_fullStr	Theory and applications of satisfiability testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012 : proceedings Alessandro Cimatti, Roberto Sebastiani (eds.)
title_full_unstemmed	Theory and applications of satisfiability testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012 : proceedings Alessandro Cimatti, Roberto Sebastiani (eds.)
title_short	Theory and applications of satisfiability testing – SAT 2012
title_sort	theory and applications of satisfiability testing sat 2012 15th international conference trento italy june 17 20 2012 proceedings
title_sub	15th International Conference, Trento, Italy, June 17-20, 2012 : proceedings
topic	Erfüllbarkeitsproblem (DE-588)4323820-8 gnd Boolesche Formel (DE-588)4328877-7 gnd
topic_facet	Erfüllbarkeitsproblem Boolesche Formel Konferenzschrift 2012 Trient Aufsatzsammlung
url	https://doi.org/10.1007/978-3-642-31612-8 http://d-nb.info/1023292092/04
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT sattrient theoryandapplicationsofsatisfiabilitytestingsat201215thinternationalconferencetrentoitalyjune17202012proceedings AT cimattialessandro theoryandapplicationsofsatisfiabilitytestingsat201215thinternationalconferencetrentoitalyjune17202012proceedings AT sebastianiroberto theoryandapplicationsofsatisfiabilitytestingsat201215thinternationalconferencetrentoitalyjune17202012proceedings

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text

MARC

Record in the Search Index

There is no print copy available.

Similar Items