Accelerating Boolean Constraint Propagation for Efficient SAT-Solving on FPGAs
Saved in:
| Published in | Proceedings of the Great Lakes Symposium on VLSI 2024 |
|---|---|
| Format | Conference Proceeding |
| Language | English |
| Online Access | Get full text |
| DOI | 10.1145/3649476.3658808 |
Cover
| BookMark | eNotj09LwzAchnPQw5yed-0X6EyWP02PtWxTGDrYPIdf0mQEYlLSquzb22FP7wsP7wvPA7qLKVqEVgSvCWH8mQpWs0qsqeBSYrlA740xNtgMo4-X4iWlYCEWbYrDmMHHsTjm1MNlwikWLuVi65w33k7k1JzLUwo_t-EEd8d9MzyiewdhsE9zLtHnbntuX8vDx_6tbQ4lbIQcS0mZ6aACprFkwJxwjlKgld5UUyfWSF1zxwXnuqZcWuM62UGHpbFYY2LoEuH_3-_Yw_UXQlB99l-Qr4pgdVNVs6qaVekfX7dOuA |
|---|---|
| ContentType | Conference Proceeding |
| DBID | ADTOC UNPAY |
| DOI | 10.1145/3649476.3658808 |
| DatabaseName | Unpaywall for CDI: Periodical Content Unpaywall |
| Database_xml | – sequence: 1 dbid: UNPAY name: Unpaywall url: https://proxy.k.utb.cz/login?url=https://unpaywall.org/ sourceTypes: Open Access Repository |
| DeliveryMethod | fulltext_linktorsrc |
| ExternalDocumentID | 10.1145/3649476.3658808 |
| GroupedDBID | ADTOC UNPAY |
| ID | FETCH-LOGICAL-a268t-834cda7a4b084a4f6ff33a37b27f6f1ec8b95f5655b9358ecfd8dad08ce0b01c3 |
| IEDL.DBID | UNPAY |
| IngestDate | Sun Sep 07 11:24:39 EDT 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| License | cc-by |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a268t-834cda7a4b084a4f6ff33a37b27f6f1ec8b95f5655b9358ecfd8dad08ce0b01c3 |
| OpenAccessLink | https://proxy.k.utb.cz/login?url=https://doi.org/10.1145/3649476.3658808 |
| ParticipantIDs | unpaywall_primary_10_1145_3649476_3658808 |
| PublicationTitle | Proceedings of the Great Lakes Symposium on VLSI 2024 |
| Score | 1.8761888 |
| SourceID | unpaywall |
| SourceType | Open Access Repository |
| Title | Accelerating Boolean Constraint Propagation for Efficient SAT-Solving on FPGAs |
| URI | https://doi.org/10.1145/3649476.3658808 |
| UnpaywallVersion | publishedVersion |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NSwMxEA3SHsSLihUVlRy8eEjdbT42e1yltQiWQluop2Uym_Xgsiu6RfTXm7RrLeJBb4FMSJiBvMnHe0PIBUYY6gAU0zpEJkAHLLZKMo4cokyASzk83_l-pIYzcTeX80YkyXNhNt_vQyGvuBKxiFSXO6TUntTbVtIl3S3Sno3GyUMj1vOL5Q7ZXpTP8P4GRbGBGINdMvyaa_VR5Km7qE0XP37IMP5hMXuk803Lo-M14OyTLVsekFGC6KDDB7J8pNdVVVgoqa_Duaz-UPsRbtNYBoC6DJX2l6IRDmvoJJmySVX4KwXqOgfj2-S1Q2aD_vRmyJoiCQx6StdMc4EZRCBMoAWIXOU558Aj04tcO7SoTSxzl7ZJ4588LeaZziALNFp_B4r8kLTKqrRHhMahjnqBkZbH1p2bwIjQWSmFAngmLB6Ty7VL0-eVGEa6IjbLtPFN2vjm5B-2p6RVvyzsmUP32pw3kf0ECHSiPA |
| linkProvider | Unpaywall |
| linkToUnpaywall | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NSwMxEA3SHsSLihUVlRy8eEjdbT42e1yltQiWQluop2Uym_Xgsiu6RfTXm7RrLeJBb4FMSJiBvMnHe0PIBUYY6gAU0zpEJkAHLLZKMo4cokyASzk83_l-pIYzcTeX80YkyXNhNt_vQyGvuBKxiFSXO6TUntTbVtIl3S3Sno3GyUMj1vOL5Q7ZXpTP8P4GRbGBGINdMvyaa_VR5Km7qE0XP37IMP5hMXuk803Lo-M14OyTLVsekFGC6KDDB7J8pNdVVVgoqa_Duaz-UPsRbtNYBoC6DJX2l6IRDmvoJJmySVX4KwXqOgfj2-S1Q2aD_vRmyJoiCQx6StdMc4EZRCBMoAWIXOU558Aj04tcO7SoTSxzl7ZJ4588LeaZziALNFp_B4r8kLTKqrRHhMahjnqBkZbH1p2bwIjQWSmFAngmLB6Ty7VL0-eVGEa6IjbLtPFN2vjm5B-2p6RVvyzsmUP32pw3kf0ECHSiPA |
| 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%3Abook&rft.genre=proceeding&rft.title=Proceedings+of+the+Great+Lakes+Symposium+on+VLSI+2024&rft.atitle=Accelerating+Boolean+Constraint+Propagation+for+Efficient+SAT-Solving+on+FPGAs&rft_id=info:doi/10.1145%2F3649476.3658808&rft.externalDocID=10.1145%2F3649476.3658808 |