| Title: | Proof-Guided SAT Encoding Selection for Bit-Vector Multiplication |
|---|---|
| Links: | |
| Authors: | Armin Biere |
| Daniel Kroening EMail | |
| Norbert Manthey | |
| Martin Brain | |
| Michael Tautschnig | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{bbkmt2026,
AUTHOR = { Biere, Armin
and Kroening, Daniel
and Manthey, Norbert
and Brain, Martin
and Tautschnig, Michael },
TITLE = { Proof-Guided SAT Encoding Selection for Bit-Vector Multiplication },
BOOKTITLE = { Pragmatics of SAT },
NOTE = { To appear. },
YEAR = { 2026 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.