Complexity classifications of Boolean constraint satisfaction problems:
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Philadelphia , PA
SIAM
2001
|
| Schriftenreihe: | SIAM monographs on discrete mathematics and applications
7 |
| Schlagworte: | |
| Beschreibung: | XII, 106 S. |
| ISBN: | 0898714796 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV013898450 | ||
| 003 | DE-604 | ||
| 005 | 20160707 | ||
| 007 | t | ||
| 008 | 010911s2001 |||| 00||| eng d | ||
| 020 | |a 0898714796 |9 0-89871-479-6 | ||
| 035 | |a (OCoLC)492347869 | ||
| 035 | |a (DE-599)BVBBV013898450 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-20 | ||
| 050 | 0 | |a QA267.7.C74 | |
| 082 | 0 | |a 511.3- | |
| 084 | |a SK 890 |0 (DE-625)143267: |2 rvk | ||
| 084 | |a ST 134 |0 (DE-625)143590: |2 rvk | ||
| 100 | 1 | |a Creignou, Nadia |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Complexity classifications of Boolean constraint satisfaction problems |c Nadia Creignou ; Sanjeev Khanna ; Madhu Sudan |
| 264 | 1 | |a Philadelphia , PA |b SIAM |c 2001 | |
| 300 | |a XII, 106 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a SIAM monographs on discrete mathematics and applications |v 7 | |
| 650 | 7 | |a Complexité de calcul (informatique) |2 ram | |
| 650 | 7 | |a Contraintes (intelligence artificielle) |2 ram | |
| 650 | 7 | |a algèbre Boole |2 inriac | |
| 650 | 7 | |a classe complexité |2 inriac | |
| 650 | 7 | |a optimisation |2 inriac | |
| 650 | 7 | |a satisfaction contrainte |2 inriac | |
| 650 | 7 | |a théorie classification |2 inriac | |
| 650 | 0 | 7 | |a Kombinatorische Optimierung |0 (DE-588)4031826-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Komplexitätstheorie |0 (DE-588)4120591-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 Computational logic |0 (DE-588)4255672-7 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Computational logic |0 (DE-588)4255672-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Komplexitätstheorie |0 (DE-588)4120591-1 |D s |
| 689 | 2 | 1 | |a Kombinatorische Optimierung |0 (DE-588)4031826-6 |D s |
| 689 | 2 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Khanna, Sanjeev |e Verfasser |4 aut | |
| 700 | 1 | |a Sudan, Madhu |d 1966- |e Verfasser |0 (DE-588)1103857258 |4 aut | |
| 830 | 0 | |a SIAM monographs on discrete mathematics and applications |v 7 |w (DE-604)BV013898437 |9 7 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009510999 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804128742090473472 |
|---|---|
| any_adam_object | |
| author | Creignou, Nadia Khanna, Sanjeev Sudan, Madhu 1966- |
| author_GND | (DE-588)1103857258 |
| author_facet | Creignou, Nadia Khanna, Sanjeev Sudan, Madhu 1966- |
| author_role | aut aut aut |
| author_sort | Creignou, Nadia |
| author_variant | n c nc s k sk m s ms |
| building | Verbundindex |
| bvnumber | BV013898450 |
| callnumber-first | Q - Science |
| callnumber-label | QA267 |
| callnumber-raw | QA267.7.C74 |
| callnumber-search | QA267.7.C74 |
| callnumber-sort | QA 3267.7 C74 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 890 ST 134 |
| ctrlnum | (OCoLC)492347869 (DE-599)BVBBV013898450 |
| dewey-full | 511.3- |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3- |
| dewey-search | 511.3- |
| dewey-sort | 3511.3 |
| 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>02225nam a2200577 cb4500</leader><controlfield tag="001">BV013898450</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160707 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">010911s2001 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0898714796</subfield><subfield code="9">0-89871-479-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)492347869</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013898450</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-20</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA267.7.C74</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3-</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 134</subfield><subfield code="0">(DE-625)143590:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Creignou, Nadia</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Complexity classifications of Boolean constraint satisfaction problems</subfield><subfield code="c">Nadia Creignou ; Sanjeev Khanna ; Madhu Sudan</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Philadelphia , PA</subfield><subfield code="b">SIAM</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 106 S.</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">SIAM monographs on discrete mathematics and applications</subfield><subfield code="v">7</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Complexité de calcul (informatique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Contraintes (intelligence artificielle)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">algèbre Boole</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">classe complexité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">optimisation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">satisfaction contrainte</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie classification</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kombinatorische Optimierung</subfield><subfield code="0">(DE-588)4031826-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Komplexitätstheorie</subfield><subfield code="0">(DE-588)4120591-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">Computational logic</subfield><subfield code="0">(DE-588)4255672-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Computational logic</subfield><subfield code="0">(DE-588)4255672-7</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">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Komplexitätstheorie</subfield><subfield code="0">(DE-588)4120591-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Kombinatorische Optimierung</subfield><subfield code="0">(DE-588)4031826-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Khanna, Sanjeev</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sudan, Madhu</subfield><subfield code="d">1966-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1103857258</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">SIAM monographs on discrete mathematics and applications</subfield><subfield code="v">7</subfield><subfield code="w">(DE-604)BV013898437</subfield><subfield code="9">7</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009510999</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></record></collection> |
| id | DE-604.BV013898450 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:54:04Z |
| institution | BVB |
| isbn | 0898714796 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009510999 |
| oclc_num | 492347869 |
| open_access_boolean | |
| owner | DE-20 |
| owner_facet | DE-20 |
| physical | XII, 106 S. |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | SIAM |
| record_format | marc |
| series | SIAM monographs on discrete mathematics and applications |
| series2 | SIAM monographs on discrete mathematics and applications |
| spelling | Creignou, Nadia Verfasser aut Complexity classifications of Boolean constraint satisfaction problems Nadia Creignou ; Sanjeev Khanna ; Madhu Sudan Philadelphia , PA SIAM 2001 XII, 106 S. txt rdacontent n rdamedia nc rdacarrier SIAM monographs on discrete mathematics and applications 7 Complexité de calcul (informatique) ram Contraintes (intelligence artificielle) ram algèbre Boole inriac classe complexité inriac optimisation inriac satisfaction contrainte inriac théorie classification inriac Kombinatorische Optimierung (DE-588)4031826-6 gnd rswk-swf Komplexitätstheorie (DE-588)4120591-1 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Computational logic (DE-588)4255672-7 gnd rswk-swf Computational logic (DE-588)4255672-7 s DE-604 Künstliche Intelligenz (DE-588)4033447-8 s Komplexitätstheorie (DE-588)4120591-1 s Kombinatorische Optimierung (DE-588)4031826-6 s 1\p DE-604 Khanna, Sanjeev Verfasser aut Sudan, Madhu 1966- Verfasser (DE-588)1103857258 aut SIAM monographs on discrete mathematics and applications 7 (DE-604)BV013898437 7 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Creignou, Nadia Khanna, Sanjeev Sudan, Madhu 1966- Complexity classifications of Boolean constraint satisfaction problems SIAM monographs on discrete mathematics and applications Complexité de calcul (informatique) ram Contraintes (intelligence artificielle) ram algèbre Boole inriac classe complexité inriac optimisation inriac satisfaction contrainte inriac théorie classification inriac Kombinatorische Optimierung (DE-588)4031826-6 gnd Komplexitätstheorie (DE-588)4120591-1 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Computational logic (DE-588)4255672-7 gnd |
| subject_GND | (DE-588)4031826-6 (DE-588)4120591-1 (DE-588)4033447-8 (DE-588)4255672-7 |
| title | Complexity classifications of Boolean constraint satisfaction problems |
| title_auth | Complexity classifications of Boolean constraint satisfaction problems |
| title_exact_search | Complexity classifications of Boolean constraint satisfaction problems |
| title_full | Complexity classifications of Boolean constraint satisfaction problems Nadia Creignou ; Sanjeev Khanna ; Madhu Sudan |
| title_fullStr | Complexity classifications of Boolean constraint satisfaction problems Nadia Creignou ; Sanjeev Khanna ; Madhu Sudan |
| title_full_unstemmed | Complexity classifications of Boolean constraint satisfaction problems Nadia Creignou ; Sanjeev Khanna ; Madhu Sudan |
| title_short | Complexity classifications of Boolean constraint satisfaction problems |
| title_sort | complexity classifications of boolean constraint satisfaction problems |
| topic | Complexité de calcul (informatique) ram Contraintes (intelligence artificielle) ram algèbre Boole inriac classe complexité inriac optimisation inriac satisfaction contrainte inriac théorie classification inriac Kombinatorische Optimierung (DE-588)4031826-6 gnd Komplexitätstheorie (DE-588)4120591-1 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Computational logic (DE-588)4255672-7 gnd |
| topic_facet | Complexité de calcul (informatique) Contraintes (intelligence artificielle) algèbre Boole classe complexité optimisation satisfaction contrainte théorie classification Kombinatorische Optimierung Komplexitätstheorie Künstliche Intelligenz Computational logic |
| volume_link | (DE-604)BV013898437 |
| work_keys_str_mv | AT creignounadia complexityclassificationsofbooleanconstraintsatisfactionproblems AT khannasanjeev complexityclassificationsofbooleanconstraintsatisfactionproblems AT sudanmadhu complexityclassificationsofbooleanconstraintsatisfactionproblems |