C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Adding Dual Variables to Algebraic Reasoning for Gate-Level Multiplier Verification.
Daniela Kaufmann
Paul Beame
Armin Biere
Jakob Nordström
Published in:
DATE (2022)
Keyphrases
</>
dual variables
linear programming
higher order
dual formulation