| CARVIEW |
Select Language
HTTP/2 302
content-type: text/html; charset=utf-8
location: //fmv.jku.at/evalrestart/
vary: Origin
x-request-id: 01KEYQW3H9K1AVKD5QK36M8ZQD
content-length: 48
date: Wed, 14 Jan 2026 17:11:53 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 18:21:53 CET
last-modified: Thu, 25 Sep 2025 14:38:37 GMT
vary: Origin
x-request-id: 01KEYQW3NNT1JR0AK7XSGXM6GS
content-length: 5422
date: Wed, 14 Jan 2026 17:11:53 GMT
Evaluating CDCL Restart Schemes
|
team
|
Evaluating CDCL Restart SchemesHere we make the source code and the log files available for our POS'15 paper: Armin Biere, Andreas Fröhlich. [ evalrestart.7z ] Restrictions in using the included source code apply as listed in the COPYING file in the included tar ball of Lingeling. |
