Search Results - _ modelling ((using sat) OR (using java))

Search alternatives:
using java » using data
using sat » using data , using a , using raw

1

Cover Image

Improving AMULET2 for verifying multiplier circuits using SAT solving and computer algebra

by Daniela, Kaufmann, Armin, Biere
Published 2023

Subjects: “...SAT...”
Get full text
Get full text

Book

2

Cover Image

Essentials of mechatronics /

by Billingsley, J.,
Published 2006

Get full text

Textbook