Holdings: Handbook of satisfiability

Handbook of satisfiability:

Saved in:

Bibliographic Details
Other Authors:	Biere, Armin 1967- (Editor), Heule, Marijn J. H. 1979- (Editor), Maaren, Hans van 1950- (Editor), Walsh, Toby 1964- (Editor)
Format:	Electronic eBook
Language:	English
Published:	Amsterdam ; Berlin ; Oxford ; Tokyo ; Washington, DC IOS Press [2009]
Series:	Frontiers in artificial intelligence and applications volume 185
Subjects:	Propositional calculus > Congresses Decision making > Congresses Computer algorithms > Congresses Algebra, Boolean > Congresses Erfüllbarkeitsproblem Anwendung Algorithmus Berechnungskomplexität Konferenzschrift
Online Access:	DE-91
Physical Description:	1 Online-Ressource
ISBN:	9781441616784 9781607503767

Staff View

MARC


LEADER	00000nam a2200000zcb4500
001	BV044841097
003	DE-604
005	20200702
007	cr\|uuu---uuuuu
008	180305s2009 xx o\|\|\|\| 10\|\|\| eng d
020			\|a 9781441616784 \|c Online \|9 978-1-4416-1678-4
020			\|a 9781607503767 \|c Online \|9 978-1-60750-376-7
035			\|a (ZDB-38-ESG)ebr10309230
035			\|a (OCoLC)430355954
035			\|a (DE-599)BVBBV044841097
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
049			\|a DE-91G
245	1	0	\|a Handbook of satisfiability \|c edited by Armin Biere (Johannes Kepler University, Linz, Austria), Marijn Heule (Delft University of Technology, Delft, The Netherlands), Hans van Maaren (Delft University of Technology, Delft, The Netherlands), and Toby Walsh (NICTA, University of New South Wales, Kensington, Australia)
264		1	\|a Amsterdam ; Berlin ; Oxford ; Tokyo ; Washington, DC \|b IOS Press \|c [2009]
300			\|a 1 Online-Ressource
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Frontiers in artificial intelligence and applications \|v volume 185
505	8		\|a Includes bibliographical references and indexes
650		4	\|a Propositional calculus \|v Congresses
650		4	\|a Decision making \|v Congresses
650		4	\|a Computer algorithms \|v Congresses
650		4	\|a Algebra, Boolean \|v Congresses
650	0	7	\|a Erfüllbarkeitsproblem \|0 (DE-588)4323820-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Anwendung \|0 (DE-588)4196864-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Algorithmus \|0 (DE-588)4001183-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Berechnungskomplexität \|0 (DE-588)4134751-1 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|2 gnd-content
689	0	0	\|a Erfüllbarkeitsproblem \|0 (DE-588)4323820-8 \|D s
689	0	1	\|a Berechnungskomplexität \|0 (DE-588)4134751-1 \|D s
689	0	2	\|a Algorithmus \|0 (DE-588)4001183-5 \|D s
689	0	3	\|a Anwendung \|0 (DE-588)4196864-5 \|D s
689	0		\|8 1\p \|5 DE-604
700	1		\|a Biere, Armin \|d 1967- \|0 (DE-588)115751823 \|4 edt
700	1		\|a Heule, Marijn J. H. \|d 1979- \|0 (DE-588)1078931380 \|4 edt
700	1		\|a Maaren, Hans van \|d 1950- \|0 (DE-588)142180874 \|4 edt
700	1		\|a Walsh, Toby \|d 1964- \|0 (DE-588)1143034899 \|4 edt
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-1-58603-929-5 \|z 1-58603-929-6
830		0	\|a Frontiers in artificial intelligence and applications \|v volume 185 \|w (DE-604)BV044780090 \|9 185
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
912			\|a ZDB-38-ESG
912			\|a ZDB-218-IOS
943	1		\|a oai:aleph.bib-bvb.de:BVB01-030235960
966	e		\|u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=281413 \|l DE-91 \|p ZDB-218-IOS \|q TUM_Einzelkauf \|x Aggregator \|3 Volltext

Record in the Search Index

_version_	1817914981830623232
adam_text
any_adam_object
author2	Biere, Armin 1967- Heule, Marijn J. H. 1979- Maaren, Hans van 1950- Walsh, Toby 1964-
author2_role	edt edt edt edt
author2_variant	a b ab m j h h mjh mjhh h v m hv hvm t w tw
author_GND	(DE-588)115751823 (DE-588)1078931380 (DE-588)142180874 (DE-588)1143034899
author_facet	Biere, Armin 1967- Heule, Marijn J. H. 1979- Maaren, Hans van 1950- Walsh, Toby 1964-
building	Verbundindex
bvnumber	BV044841097
collection	ZDB-38-ESG ZDB-218-IOS
contents	Includes bibliographical references and indexes
ctrlnum	(ZDB-38-ESG)ebr10309230 (OCoLC)430355954 (DE-599)BVBBV044841097
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV044841097</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200702</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">180305s2009 xx o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781441616784</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-4416-1678-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781607503767</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-60750-376-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-38-ESG)ebr10309230</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)430355954</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044841097</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-91G</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Handbook of satisfiability</subfield><subfield code="c">edited by Armin Biere (Johannes Kepler University, Linz, Austria), Marijn Heule (Delft University of Technology, Delft, The Netherlands), Hans van Maaren (Delft University of Technology, Delft, The Netherlands), and Toby Walsh (NICTA, University of New South Wales, Kensington, Australia)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam ; Berlin ; Oxford ; Tokyo ; Washington, DC</subfield><subfield code="b">IOS Press</subfield><subfield code="c">[2009]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</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">Frontiers in artificial intelligence and applications</subfield><subfield code="v">volume 185</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Includes bibliographical references and indexes</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Propositional calculus</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Decision making</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer algorithms</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra, Boolean</subfield><subfield code="v">Congresses</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">Anwendung</subfield><subfield code="0">(DE-588)4196864-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algorithmus</subfield><subfield code="0">(DE-588)4001183-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechnungskomplexität</subfield><subfield code="0">(DE-588)4134751-1</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="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">Berechnungskomplexität</subfield><subfield code="0">(DE-588)4134751-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Algorithmus</subfield><subfield code="0">(DE-588)4001183-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Anwendung</subfield><subfield code="0">(DE-588)4196864-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Biere, Armin</subfield><subfield code="d">1967-</subfield><subfield code="0">(DE-588)115751823</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Heule, Marijn J. H.</subfield><subfield code="d">1979-</subfield><subfield code="0">(DE-588)1078931380</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Maaren, Hans van</subfield><subfield code="d">1950-</subfield><subfield code="0">(DE-588)142180874</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Walsh, Toby</subfield><subfield code="d">1964-</subfield><subfield code="0">(DE-588)1143034899</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</subfield><subfield code="z">978-1-58603-929-5</subfield><subfield code="z">1-58603-929-6</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Frontiers in artificial intelligence and applications</subfield><subfield code="v">volume 185</subfield><subfield code="w">(DE-604)BV044780090</subfield><subfield code="9">185</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-38-ESG</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-218-IOS</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030235960</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=281413</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-218-IOS</subfield><subfield code="q">TUM_Einzelkauf</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift gnd-content
genre_facet	Konferenzschrift
id	DE-604.BV044841097
illustrated	Not Illustrated
indexdate	2024-12-08T23:00:26Z
institution	BVB
isbn	9781441616784 9781607503767
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-030235960
oclc_num	430355954
open_access_boolean
owner	DE-91G DE-BY-TUM
owner_facet	DE-91G DE-BY-TUM
physical	1 Online-Ressource
psigel	ZDB-38-ESG ZDB-218-IOS ZDB-218-IOS TUM_Einzelkauf
publishDate	2009
publishDateSearch	2009
publishDateSort	2009
publisher	IOS Press
record_format	marc
series	Frontiers in artificial intelligence and applications
series2	Frontiers in artificial intelligence and applications
spelling	Handbook of satisfiability edited by Armin Biere (Johannes Kepler University, Linz, Austria), Marijn Heule (Delft University of Technology, Delft, The Netherlands), Hans van Maaren (Delft University of Technology, Delft, The Netherlands), and Toby Walsh (NICTA, University of New South Wales, Kensington, Australia) Amsterdam ; Berlin ; Oxford ; Tokyo ; Washington, DC IOS Press [2009] 1 Online-Ressource txt rdacontent c rdamedia cr rdacarrier Frontiers in artificial intelligence and applications volume 185 Includes bibliographical references and indexes Propositional calculus Congresses Decision making Congresses Computer algorithms Congresses Algebra, Boolean Congresses Erfüllbarkeitsproblem (DE-588)4323820-8 gnd rswk-swf Anwendung (DE-588)4196864-5 gnd rswk-swf Algorithmus (DE-588)4001183-5 gnd rswk-swf Berechnungskomplexität (DE-588)4134751-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Erfüllbarkeitsproblem (DE-588)4323820-8 s Berechnungskomplexität (DE-588)4134751-1 s Algorithmus (DE-588)4001183-5 s Anwendung (DE-588)4196864-5 s 1\p DE-604 Biere, Armin 1967- (DE-588)115751823 edt Heule, Marijn J. H. 1979- (DE-588)1078931380 edt Maaren, Hans van 1950- (DE-588)142180874 edt Walsh, Toby 1964- (DE-588)1143034899 edt Erscheint auch als Druck-Ausgabe 978-1-58603-929-5 1-58603-929-6 Frontiers in artificial intelligence and applications volume 185 (DE-604)BV044780090 185 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Handbook of satisfiability Frontiers in artificial intelligence and applications Includes bibliographical references and indexes Propositional calculus Congresses Decision making Congresses Computer algorithms Congresses Algebra, Boolean Congresses Erfüllbarkeitsproblem (DE-588)4323820-8 gnd Anwendung (DE-588)4196864-5 gnd Algorithmus (DE-588)4001183-5 gnd Berechnungskomplexität (DE-588)4134751-1 gnd
subject_GND	(DE-588)4323820-8 (DE-588)4196864-5 (DE-588)4001183-5 (DE-588)4134751-1 (DE-588)1071861417
title	Handbook of satisfiability
title_auth	Handbook of satisfiability
title_exact_search	Handbook of satisfiability
title_full	Handbook of satisfiability edited by Armin Biere (Johannes Kepler University, Linz, Austria), Marijn Heule (Delft University of Technology, Delft, The Netherlands), Hans van Maaren (Delft University of Technology, Delft, The Netherlands), and Toby Walsh (NICTA, University of New South Wales, Kensington, Australia)
title_fullStr	Handbook of satisfiability edited by Armin Biere (Johannes Kepler University, Linz, Austria), Marijn Heule (Delft University of Technology, Delft, The Netherlands), Hans van Maaren (Delft University of Technology, Delft, The Netherlands), and Toby Walsh (NICTA, University of New South Wales, Kensington, Australia)
title_full_unstemmed	Handbook of satisfiability edited by Armin Biere (Johannes Kepler University, Linz, Austria), Marijn Heule (Delft University of Technology, Delft, The Netherlands), Hans van Maaren (Delft University of Technology, Delft, The Netherlands), and Toby Walsh (NICTA, University of New South Wales, Kensington, Australia)
title_short	Handbook of satisfiability
title_sort	handbook of satisfiability
topic	Propositional calculus Congresses Decision making Congresses Computer algorithms Congresses Algebra, Boolean Congresses Erfüllbarkeitsproblem (DE-588)4323820-8 gnd Anwendung (DE-588)4196864-5 gnd Algorithmus (DE-588)4001183-5 gnd Berechnungskomplexität (DE-588)4134751-1 gnd
topic_facet	Propositional calculus Congresses Decision making Congresses Computer algorithms Congresses Algebra, Boolean Congresses Erfüllbarkeitsproblem Anwendung Algorithmus Berechnungskomplexität Konferenzschrift
volume_link	(DE-604)BV044780090
work_keys_str_mv	AT bierearmin handbookofsatisfiability AT heulemarijnjh handbookofsatisfiability AT maarenhansvan handbookofsatisfiability AT walshtoby handbookofsatisfiability

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection!

MARC

Record in the Search Index

There is no print copy available.

Similar Items