APA Citation

Daniela, K. (2023). Improving AMULET2 for verifying multiplier circuits using SAT solving and computer algebra. Springer.

Chicago Style Citation

Daniela, Kaufmann. Improving AMULET2 for Verifying Multiplier Circuits Using SAT Solving and Computer Algebra. Springer, 2023.

MLA Citation

Daniela, Kaufmann. Improving AMULET2 for Verifying Multiplier Circuits Using SAT Solving and Computer Algebra. Springer, 2023.

Warning: These citations may not always be 100% accurate.