| CARVIEW |
Select Language
HTTP/2 302
content-type: text/html; charset=utf-8
location: //fmv.jku.at/nussproofs/
vary: Origin
x-request-id: 01KEYR28SGJ2N502YBFBQVWQTS
content-length: 47
date: Wed, 14 Jan 2026 17:15:15 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:25:15 CET
last-modified: Thu, 25 Sep 2025 14:38:37 GMT
vary: Origin
x-request-id: 01KEYR28XYXGAR2YZSK6QV4N2E
content-length: 6390
date: Wed, 14 Jan 2026 17:15:15 GMT
Nullstellensatz-Proofs for Multiplier Verification
|
team
|
[ paper | experiments ] Nullstellensatz-Proofs for Multiplier VerificationThis page provides access to the source code, benchmarks, and experiments described in our paper at CASC 2020. PaperDaniela Kaufmann, Armin Biere. Proof GenerationOur verification tool AMulet is available at GitHub. Proof CheckingThe Nullstellensatz Proof Checker - Nusschecker Experiments[ KaufmannBiere-CASC-20-benchmarks.tar.xz
] benchmarks (9.4 MB) |
