| CARVIEW |
Select Language
HTTP/2 302
content-type: text/html; charset=utf-8
location: //fmv.jku.at/globalblocking/
vary: Origin
x-request-id: 01KEZ318DQ2F7KF27B4RAFNX6V
content-length: 51
date: Wed, 14 Jan 2026 20:26:56 GMT
HTTP/2 200
accept-ranges: bytes
cache-control: max-age=600
content-type: text/html; charset=utf-8
etag: "6eb996eab52cf1ece84e8bcdf0c9098455aa98f8d4214cdc612732cacd3708a8"
expires: Wed, 14 Jan 2026 21:36:57 CET
last-modified: Thu, 25 Sep 2025 14:38:37 GMT
vary: Origin
x-request-id: 01KEZ318KEAV4SQBCR5X8FX3SC
content-length: 6403
date: Wed, 14 Jan 2026 20:26:57 GMT
Conditional Autarkies and Globally Blocked Clauses
|
team
|
Conditional Autarkies and Globally Blocked ClausesThis page provides source code for our invited paper at ATVA'19: Benjamin Kiesl , Marijn Heule, Armin Biere. Truth
Assignments as Conditional Autarkies. To be published in
Proc. 17th Intl. Symp. on Automated Technology for
Verification and Analysis (ATVA'19), Lecture Notes in Computer
Science (LNCS), 17 pages Springer 2019. With release rel-1.2.0 of CaDiCaL we published code for eliminating globally blocked clauses on GitHub. It resides in condition.cpp and still needs to be enabled with the --condition flag. |
