Exact enumeration of satisfiable 2-SAT formulae
Saved in:
| Published in: | Combinatorial theory Vol. 3; no. 2 |
|---|---|
| Main Authors: | , , |
| Format: | Journal Article |
| Language: | English |
| Published: |
01.01.2023
|
| ISSN: | 2766-1334, 2766-1334 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| 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/eLvHCXMwtV07T8MwELZ4DTAgnuKtCLFGpXFixyNCRSxFCArqVtnJuapU0qoP1Infzp2TpikwwMASRW4cJfmcy931vu8Yu1Igua0noW9lZHz8BAC-cybxbZKmHGzKhcibTciHh7jdVo9Fm7uxaycgsyyezdTwX6HGMQSbqLN_gLs8KQ7gPoKOW4Qdt78CvjEj2iNVuMOo9AfHjsTQczypwH--aTnW4rSvl6UKBm8YKFMY7tgkc9p-0cr4veuaA5B56cJiHNALzbTtwZR-pD_eY9XvlevlSVNVEhXJ5uyz174u9GyLXEPAK7kGZ5ICKUi1sEg_wg9jhU3llaUT_GSp0Q2l0sZbwSmEy7v2LKthf_lKlbWDGLXQ5E45dZWtBzJSZNKaH4sEG4aCnDs1ivIKc2Upml0rZ1f8kYpj0dph20VE4N3kSO6yFcj22FazlNMd77Oaw9SrYOoNrFfB1HOYenNMD9jLXaN1e-8XnS78BF2oiR9hlMcNgLJGGpUIE0eG0kuSxH-4sjYySgVS49EQWgXXPBKWG3zJpEgg1PyQrWWDDI6YJ7QO69pgnB3gTlrXMgLLUy3qOiQW9jG7nN9vZ5gLmnS-PdKT3xx0yjYXa-SMrU1GUzhnG8k73vzowiU3Lhwkn73MPIk |
| 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 |