HTTP/2 302
content-type: text/html; charset=utf-8
location: //fmv.jku.at/dcnc/
vary: Origin
x-request-id: 01KES6FS9PTSJYCZZK0HSYAVYA
content-length: 41
date: Mon, 12 Jan 2026 13:31:51 GMT
HTTP/2 200
accept-ranges: bytes
cache-control: max-age=600
content-type: text/html; charset=utf-8
etag: "6eb996eab52cf1ece84e8bcdf0c9098455aa98f8d4214cdc612732cacd3708a8"
expires: Mon, 12 Jan 2026 14:41:52 CET
last-modified: Thu, 25 Sep 2025 14:38:37 GMT
vary: Origin
x-request-id: 01KES6FSFFQYPM7E1GA18EWY7Q
content-length: 7019
date: Mon, 12 Jan 2026 13:31:52 GMT
Paracooba
|
TNF
/ INF
team
contact
software
publications
teaching
jobs
|
Paracooba
This page gives access to material related to our distributed
SAT solver paracooba.
Maximilian Heisinger, Mathias Fleury, Armin Biere. Distributed
Cube and Conquer with Paracooba. In Proc. 23rd
Intl. Conf. on Theory and Applications of Satisfiability
Testing (SAT'20), Lecture Notes in Computer
Science (LNCS) vol. 12178, pages 114-122, Springer
2020.
[ preprint
| bibtex
| award | experiments
| paracooba ]
Armin Biere, Katalin Fazekas, Mathias Fleury, Maximillian
Heisinger.
CaDiCaL, Kissat, Paracooba, Plingeling and Treengeling Entering the
SAT Competition 2020. To appear in Proc. of SAT
Competition 2020 - Solver and Benchmark Descriptions.
[
paper |
bibtex | kissat |
cadical | paracooba | plingeling | treengeling ]
|
