HTTP/2 302 content-type: text/html; charset=utf-8 location: //fmv.jku.at/prune/ vary: Origin x-request-id: 01KEYQW2AXYA61PA772HP411YT content-length: 42 date: Wed, 14 Jan 2026 17:11:52 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:52 CET last-modified: Thu, 25 Sep 2025 14:38:37 GMT vary: Origin x-request-id: 01KEYQW2G8NHZ6ZVBKFD4F3AWY content-length: 6042 date: Wed, 14 Jan 2026 17:11:52 GMT

TNF / INF FMV team contact software publications teaching jobs

[  paper | experiments ] Pruning Through Satisfaction This site provides access to experimental data, source code and benchmarks of our HVC'17 paper. Paper Marijn J.H. Heule, Benjamin Kiesl, Martina Seidl, and Armin Biere (2017). PRuning Through Satisfaction. In Proc. 13th Haifa Verification Conference (HVC'17). Lecture Notes in Computer Science (LNCS) vol. 10629, pages 179-194, Springer 2017. [ paper | bibtex | experiments ] Experiments [ sdcl-hvc17.tar.xz ]