Frying the egg, roasting the chicken: unit deletions in DRAT proofs
Saved in:
| Published in | Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs |
|---|---|
| Format | Conference Proceeding |
| Language | English |
| Online Access | Get full text |
| DOI | 10.1145/3372885.3373821 |
Cover
| BookMark | eNo1z81Kw0AUhuFZ6EKra7dzAabOT-Yn7kq0KhSE0q6Hw8yZdDBOQpIiuXsV4-qFb_HBc00ucpeRkDvO1pyX6kFKI6xV659KK_gVqbfDnHJDpxNSbJp7OnQwTv-LPyX_gfmRnnOaaMAWp9TlkaZMn_abA-2HrovjDbmM0I54u3RFjtvnQ_1a7N5f3urNrgCh7VQYy4RA7sFGhVprE5FhpUWlg2VlxYMCH0wlqhgDixZK8Dp4ZayWAbCMckXY3-859zB_Qdu6fkifMMyOM_frc4vPLT75DfK3SeI |
|---|---|
| ContentType | Conference Proceeding |
| DBID | ADTOC UNPAY |
| DOI | 10.1145/3372885.3373821 |
| 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/3372885.3373821 |
| GroupedDBID | ADTOC UNPAY |
| ID | FETCH-LOGICAL-a268t-78022e1ca8f5e6667fe0e96296d80491d5acd7929ffd0f8a4ac6dc57863dae4f3 |
| IEDL.DBID | UNPAY |
| IngestDate | Thu Aug 28 11:06:50 EDT 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a268t-78022e1ca8f5e6667fe0e96296d80491d5acd7929ffd0f8a4ac6dc57863dae4f3 |
| OpenAccessLink | https://proxy.k.utb.cz/login?url=https://dl.acm.org/doi/pdf/10.1145/3372885.3373821 |
| ParticipantIDs | unpaywall_primary_10_1145_3372885_3373821 |
| PublicationTitle | Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs |
| Score | 1.7412323 |
| SourceID | unpaywall |
| SourceType | Open Access Repository |
| Title | Frying the egg, roasting the chicken: unit deletions in DRAT proofs |
| URI | https://dl.acm.org/doi/pdf/10.1145/3372885.3373821 |
| UnpaywallVersion | publishedVersion |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NSwMxEA2lPYgXFSsqKjl4EUzd3Xxs6q1USxEsRVqopyWbjyKt29LuIvrrnbTbKuKl1xBCMpPhzZC8Nwhda22sDKkhGpxNmI0NScNUk5CFcSANpPTSE4Wfe6I7ZE8jPqqgaMOFMVNY5331hO9jem5cKWjL7yiNIyl5g3oxHs8drwkO-XcV1Ya9fuu11O35Z-Y-2iuyufr8UNPpL_DoHKwJfcuV5qD_MzJpFHna0F9_FBl329chqv-Q9XB_C0NHqGKzY9TuLDx_CUN6h-14fIsXM7XMNyO-_8nEZve4gIDGvhXO6vbhtww_vLQGGPYJ2FhHw87joN0lZb8EoiIhcxJ72qwNtZKOWyhLYmcD2xRRUxgJhUBouNImhnzIORM4qZjSwmgIWUGNsszRE1TNZpk9RdgBijup4TxOMqp8WeRgjTQKHPg2YmfoZmvSZL7WxUjWHGeelAZJSoOc7zD3AlXzRWEvAejz9Kr07DcfjqTk |
| linkProvider | Unpaywall |
| linkToUnpaywall | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NSwMxEA2lPYgXFSsqKjl4EUzd3Xxs6q1USxEsRVqopyWbjyKt29LuIvrrnbTbKuKl1xBCMpPhzZC8Nwhda22sDKkhGpxNmI0NScNUk5CFcSANpPTSE4Wfe6I7ZE8jPqqgaMOFMVNY5331hO9jem5cKWjL7yiNIyl5g3oxHs8drwkO-XcV1Ya9fuu11O35Z-Y-2iuyufr8UNPpL_DoHKwJfcuV5qD_MzJpFHna0F9_FBl329chqv-Q9XB_C0NHqGKzY9TuLDx_CUN6h-14fIsXM7XMNyO-_8nEZve4gIDGvhXO6vbhtww_vLQGGPYJ2FhHw87joN0lZb8EoiIhcxJ72qwNtZKOWyhLYmcD2xRRUxgJhUBouNImhnzIORM4qZjSwmgIWUGNsszRE1TNZpk9RdgBijup4TxOMqp8WeRgjTQKHPg2YmfoZmvSZL7WxUjWHGeelAZJSoOc7zD3AlXzRWEvAejz9Kr07DcfjqTk |
| 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+9th+ACM+SIGPLAN+International+Conference+on+Certified+Programs+and+Proofs&rft.atitle=Frying+the+egg%2C+roasting+the+chicken%3A+unit+deletions+in+DRAT+proofs&rft_id=info:doi/10.1145%2F3372885.3373821&rft.externalDocID=10.1145%2F3372885.3373821 |