Inductive Time-Space Lower Bounds for Sat and Related Problems
Saved in:
| Published in | Computational complexity Vol. 15; no. 4; pp. 433 - 470 |
|---|---|
| Main Author | |
| Format | Journal Article |
| Language | English |
| Published |
01.12.2006
|
| Online Access | Get full text |
| ISSN | 1016-3328 1420-8954 |
| DOI | 10.1007/s00037-007-0221-1 |
Cover
Loading…
| Author | Williams, Ryan |
|---|---|
| Author_xml | – sequence: 1 givenname: Ryan surname: Williams fullname: Williams, Ryan |
| BookMark | eNp9kM1KAzEURoNUsK0-gLu8QPTmZzozG0GLP4WCYut6yNzcwMh0UpJU8e2doisXru7ZnI_LmbHJEAZi7FLClQQorxMA6FKMKEApKeQJm0qjQFR1YSYjg1wIrVV1xmYpvQPIotJmym5Wgztg7j6Ib7sdic3eIvF1-KTI78JhcIn7EPnGZm4Hx1-pt5kcf4mh7WmXztmpt32ii987Z28P99vlk1g_P66Wt2uBqqqyaAtLHp1fEBqsqXJQa-drh3pRo3a2bVuv0FDhgaQx42fKFA6t9nVZaCz1nJU_uxhDSpF8g122uQtDjrbrGwnNMUPzk6E54jFDI0dT_jH3sdvZ-PWP8w0TJWIc |
| CitedBy_id | crossref_primary_10_1007_s00037_015_0104_9 crossref_primary_10_1007_s00037_015_0103_x crossref_primary_10_1145_2493246_2493249 crossref_primary_10_1145_3186563 |
| ContentType | Journal Article |
| DBID | AAYXX CITATION |
| DOI | 10.1007/s00037-007-0221-1 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Mathematics |
| EISSN | 1420-8954 |
| EndPage | 470 |
| ExternalDocumentID | 10_1007_s00037_007_0221_1 |
| GroupedDBID | -Y2 -~C .86 .DC .VR 06D 0R~ 0VY 199 1N0 1SB 2.D 203 28- 29F 2J2 2JN 2JY 2KG 2KM 2LR 2P1 2VQ 2~H 30V 4.4 406 408 409 40D 40E 5GY 5QI 5VS 67Z 6NX 78A 8TC 95- 95. 95~ 96X AAAVM AABHQ AACDK AAHNG AAIAL AAJBT AAJKR AANZL AAOBN AAPKM AARHV AARTL AASML AATNV AATVU AAUYE AAWCG AAYIU AAYQN AAYTO AAYXX AAYZH ABAKF ABBBX ABBRH ABBXA ABDBE ABDZT ABECU ABFSG ABFTD ABFTV ABHLI ABHQN ABJNI ABJOX ABKCH ABKTR ABLJU ABMNI ABMQK ABNWP ABQSL ABSXP ABTEG ABTHY ABTKH ABTMW ABULA ABWNU ABXPI ACAOD ACBXY ACDTI ACGFS ACHSB ACHXU ACIWK ACKNC ACMDZ ACMLO ACOKC ACOMO ACPIV ACSTC ACZOJ ADHHG ADHIR ADHKG ADIMF ADKNI ADKPE ADRFC ADTPH ADURQ ADYFF ADZKW AEBTG AEFIE AEFQL AEGAL AEGNC AEJHL AEJRE AEKMD AEMSY AENEX AEOHA AEPYU AESKC AETLH AEVLU AEXYK AEZWR AFBBN AFDZB AFEXP AFGCZ AFHIU AFLOW AFOHR AFQWF AFWTZ AFZKB AGAYW AGDGC AGGDS AGJBK AGMZJ AGQEE AGQMX AGQPQ AGRTI AGWIL AGWZB AGYKE AHAVH AHBYD AHKAY AHPBZ AHSBF AHWEU AHYZX AIAKS AIGIU AIIXL AILAN AITGF AIXLP AJBLW AJRNO AJZVZ ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMXSW AMYLF AMYQR AOCGG ARMRJ ASPBG ATHPR AVWKF AXYYD AYFIA AYJHY AZFZN B-. BA0 BBWZM BDATZ BGNMA BSONS CAG CITATION COF CS3 CSCUP DDRTE DL5 DNIVK DPUIP DU5 EBLON EBS EIOEI EJD ESBYG FEDTE FERAY FFXSO FIGPU FINBP FNLPD FRRFC FSGXE FWDCC GGCAI GGRSB GJIRD GNWQR GQ7 GQ8 GXS H13 HF~ HG5 HG6 HMJXF HQYDN HRMNR HVGLF HZ~ IHE IJ- IKXTQ IWAJR IXC IXD IXE IZIGR IZQ I~X I~Z J-C J0Z JBSCW JCJTX JZLTJ KDC KOV KOW LAS LLZTM M4Y MA- MBV N2Q N9A NDZJH NPVJJ NQJWS NU0 O9- O93 O9G O9I O9J OAM P19 P2P P9O PF0 PT4 PT5 QOK QOS R4E R89 R9I RHV RNI RNS ROL RPX RSV RZK S16 S1Z S26 S27 S28 S3B SAP SCJ SCLPG SCO SDH SDM SHX SISQX SJYHP SNE SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE T13 T16 TSG TSK TSV TUC U2A UG4 UOJIU UTJUX UZXMN VC2 VFIZW W23 W48 WK8 YLTOR Z45 ZMTXR ~EX |
| ID | FETCH-LOGICAL-c288t-b5aefcdf6ec4c9e8d093df9dc369c3dabbbf2c4e5f0e144834245dca3f9753c73 |
| ISSN | 1016-3328 |
| IngestDate | Tue Jul 01 01:36:14 EDT 2025 Thu Apr 24 23:08:21 EDT 2025 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 4 |
| Language | English |
| License | https://creativecommons.org/licenses/by-nc/2.0 |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c288t-b5aefcdf6ec4c9e8d093df9dc369c3dabbbf2c4e5f0e144834245dca3f9753c73 |
| OpenAccessLink | https://link.springer.com/content/pdf/10.1007/s00037-007-0221-1.pdf |
| PageCount | 38 |
| ParticipantIDs | crossref_citationtrail_10_1007_s00037_007_0221_1 crossref_primary_10_1007_s00037_007_0221_1 |
| ProviderPackageCode | CITATION AAYXX |
| PublicationCentury | 2000 |
| PublicationDate | 2006-12-00 |
| PublicationDateYYYYMMDD | 2006-12-01 |
| PublicationDate_xml | – month: 12 year: 2006 text: 2006-12-00 |
| PublicationDecade | 2000 |
| PublicationTitle | Computational complexity |
| PublicationYear | 2006 |
| SSID | ssj0015834 |
| Score | 1.775665 |
| SourceID | crossref |
| SourceType | Enrichment Source Index Database |
| StartPage | 433 |
| Title | Inductive Time-Space Lower Bounds for Sat and Related Problems |
| Volume | 15 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1ZSwMxEA5SX_RBPLFe5MEnS2Q3m71ehFYUEVsEFfpWci0IpYpdQf31To49vEB9WULIhs1-YTIzmfkGoUOVwikeBpwoJShhIRgoGSiiJOQ5o5IzqWOT7zwcJRd37HIcj6uy7D67pBTH8u3bvJL_oAp9gKvJkv0DsvWk0AFtwBeegDA8f4Wxqbth5ZXN5CA3YP_q3pWpe9YbmHJJlmuhd8NLn4Y45Ua_vHY1ZOZtvdQVd6gcgzbOXL_cl42_ve2WefU7qnEWNIEXTr6BhkeiyOdja9fHDEC543KuhWLcAp-1JBxzvBX-sGSu6scXOexCL-aW3oZYbyilIQmbQ6e6aP90FtURgjWbsp1iYppmigkYuos0Tc2N_GL_fDAY1VdGceZCCKoVVlfYgWWM_fgdLSWkpU3crqIVbwbgvsN0DS3o2TpaHtYcuvMNdFKjixt0sUUXO3QxoIsBXQzoYo8urtDdRHfnZ7enF8RXuyCSZllJRMx1IVWRaMlkrjMV5JEqciWjJJeR4kKIgkqm4yLQYAXDaimLleRRYXKjZRptoc7sYaa3EaZJFMJAxWVu-cxEKHKa6kQKnjKeqi4KquVPpKeCNxVJppMff3sXHdWvPDoelJ8H7_xl8C5aanbqHuqUT896HxS9Uhx4iN8B_x5NJg |
| linkProvider | Library Specific Holdings |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Inductive+Time-Space+Lower+Bounds+for+Sat+and+Related+Problems&rft.jtitle=Computational+complexity&rft.au=Williams%2C+Ryan&rft.date=2006-12-01&rft.issn=1016-3328&rft.eissn=1420-8954&rft.volume=15&rft.issue=4&rft.spage=433&rft.epage=470&rft_id=info:doi/10.1007%2Fs00037-007-0221-1&rft.externalDBID=n%2Fa&rft.externalDocID=10_1007_s00037_007_0221_1 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1016-3328&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1016-3328&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1016-3328&client=summon |