Exact enumeration of satisfiable 2-SAT formulae
Gespeichert in:
| Veröffentlicht in: | Combinatorial theory Jg. 3; H. 2 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
01.01.2023
|
| ISSN: | 2766-1334, 2766-1334 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Author | Ravelomanana, Vlady Dovgal, Sergey De Panafieu, Élie |
|---|---|
| Author_xml | – sequence: 1 givenname: Sergey surname: Dovgal fullname: Dovgal, Sergey – sequence: 2 givenname: Élie surname: De Panafieu fullname: De Panafieu, Élie – sequence: 3 givenname: Vlady surname: Ravelomanana fullname: Ravelomanana, Vlady |
| BookMark | eNpNj0tLAzEUhYO0YG278B_M1sXYJDePybIM1QoFF9b1kIR7YWQekkxB_70jirg63-JwON8NWwzjgIzdCn6vueW72oA0wlX6iq2kNaYUAGrxj6_ZNuc3zrmsLIDgK7Y7fPg4FThcekx-asehGKnIM2VqfeiwkOXL_lzQmPpL53HDluS7jNvfXLPXh8O5Ppan58enen8qo5RqKrWoJARER8EGF02odJifKau0cOCIdHBOWj-3UZFDDtoQBBLRmojKw5rd_ezGNOackJr31PY-fTaCN9-yzZ8sfAFtFkaQ |
| ContentType | Journal Article |
| DBID | AAYXX CITATION |
| DOI | 10.5070/C63261985 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Mathematics |
| EISSN | 2766-1334 |
| ExternalDocumentID | 10_5070_C63261985 |
| GroupedDBID | AAYXX ALMA_UNASSIGNED_HOLDINGS AUK CITATION GROUPED_DOAJ M~E OK1 |
| ID | FETCH-LOGICAL-c224t-51823bee9fb7b9c6b85b61947451939ff5b9927ac22e4f9e0356f3bf1c76ce4a3 |
| ISICitedReferencesCount | 0 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001556379400016&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 2766-1334 |
| IngestDate | Sat Nov 29 03:46:33 EST 2025 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 2 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c224t-51823bee9fb7b9c6b85b61947451939ff5b9927ac22e4f9e0356f3bf1c76ce4a3 |
| OpenAccessLink | https://escholarship.org/content/qt1m48c7s8/qt1m48c7s8.pdf?t=s0ycfc |
| ParticipantIDs | crossref_primary_10_5070_C63261985 |
| PublicationCentury | 2000 |
| PublicationDate | 2023-01-01 |
| PublicationDateYYYYMMDD | 2023-01-01 |
| PublicationDate_xml | – month: 01 year: 2023 text: 2023-01-01 day: 01 |
| PublicationDecade | 2020 |
| PublicationTitle | Combinatorial theory |
| PublicationYear | 2023 |
| SSID | ssj0002873310 |
| Score | 2.2199469 |
| SourceID | crossref |
| SourceType | Index Database |
| Title | Exact enumeration of satisfiable 2-SAT formulae |
| Volume | 3 |
| WOSCitedRecordID | wos001556379400016&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVAON databaseName: DOAJ Directory of Open Access Journals customDbUrl: eissn: 2766-1334 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0002873310 issn: 2766-1334 databaseCode: DOA dateStart: 20210101 isFulltext: true titleUrlDefault: https://www.doaj.org/ providerName: Directory of Open Access Journals – providerCode: PRVHPJ databaseName: ROAD: Directory of Open Access Scholarly Resources customDbUrl: eissn: 2766-1334 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0002873310 issn: 2766-1334 databaseCode: M~E dateStart: 20210101 isFulltext: true titleUrlDefault: https://road.issn.org providerName: ISSN International Centre |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1LT8MwDI5gcIAD4ineqhDXitG0TXOcpiEOMCEYaLcpyZxp0uimjaGd-O3YadcV2AEOXKoqqau2X-Tajv2ZsUtTlUIrLnxjTNVHCxz8xETopchuGKtEKOt2dF_uRLOZtNvyIW9zN3HtBESaJrOZHP0r1DiGYFPp7B_gLm6KA3iOoOMRYcfjr4BvzKjskTLcYVzYgxNXxNB3dVKB_1RruarF6UB9pSoYvqKjTG64qyaZl-3nrYzfe645AKmXHizGAa3QVNk-TGmSNt4TOegX6-VRUVYSJclm1WcvA5Xz2eaxhoCXYg1OJQUiJtbCPPwIS8ZyncpLSydYpqnRDKXUxnrMyYXLuvZ8ZcP-9pcqcgfRayHhTiG6ytYCEUlSafcfiwAbuoKcOzaK4gkzZimSviqkS_ZIybBobbOt3CPwahmSO2wF0l22eV_Q6U722JXD1Cth6g2tV8LUc5h6c0z32fNNo1W_9fNOF75BE-rNj9DL4xpAWi20NLFOIk3hJUHkP1xaG2kpA6HwagithCqPYsu1vTYiNhAqfsAq6TCFQ-ZFkQGcoC4J3bAbggQeSm0k3r1LTVWO2MX8fTujjNCk8-OTHv_mohO2sVgjp6zyNp7CGVs37_jy43MX3Dh3kHwCseE8gA |
| linkProvider | ISSN International Centre |
| 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=Exact+enumeration+of+satisfiable+2-SAT+formulae&rft.jtitle=Combinatorial+theory&rft.au=Dovgal%2C+Sergey&rft.au=De+Panafieu%2C+%C3%89lie&rft.au=Ravelomanana%2C+Vlady&rft.date=2023-01-01&rft.issn=2766-1334&rft.eissn=2766-1334&rft.volume=3&rft.issue=2&rft_id=info:doi/10.5070%2FC63261985&rft.externalDBID=n%2Fa&rft.externalDocID=10_5070_C63261985 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2766-1334&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2766-1334&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2766-1334&client=summon |