Vol-4288⫷ Vol-4289 ⫸Vol-4290
urn:nbn:de:0074-4289-0


Vol-4289/paper5⫷Vol-4289/paper6⫸Vol-4289/paper7
Armin BiereMartin BrainDaniel KroeningNorbert MantheyMichael Tautschnig

Proof-Guided SAT Encoding Selection for Bit-Vector Multiplication