Monografie
Incremental column-wise verification of arithmetic circuits using computer algebra
- Sprache
-
Englisch
- Identifier
-
1304679004
Beteiligte Personen und Organisationen
- DOI
-
10.1007/s10703-018-00329-2
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
07.12.2023, 15:21 MEZ
Objekttyp
- Monografie
Beteiligte
- Kaufmann, Daniela
- Biere, Armin
- Kauers, Manuel
Ähnliche Objekte (12)
Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra
AMULET 2.0 for verifying multiplier circuits
Early non-social behavioural indicators of autism spectrum disorder (ASD) in siblings at elevated likelihood for ASD: a systematic review
Forest management cooperatives and their development under uncertain conditions: a comprehensive analysis using an actor-centered institutionalism approach
Mining definitions in Kissat with Kittens
Rezension: Craig A. Stephenson: Periodic orbits. F. R. Moulton’s quest for a new lunar theory, History of Mathematics 45. Providence, RI: American Mathematical Society 2021, 255 Seiten
Decline of Lanna ceramic group production in northern Thailand (Ban Bo Suak site) confined by radiocarbon and luminescence dating
Effects of strength training using unstable surfaces on strength, power and balance performance across the lifespan: a systematic review and meta-analysis
Propagation based local search for bit-precise reasoning
Efficient All-UIP learned clause minimization
How effective is peer-to-peer support in cancer patients and survivors? A systematic review
Cancer care in German centers of excellence during the first 2 years of the COVID-19 pandemic
Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra
AMULET 2.0 for verifying multiplier circuits
Early non-social behavioural indicators of autism spectrum disorder (ASD) in siblings at elevated likelihood for ASD: a systematic review
Forest management cooperatives and their development under uncertain conditions: a comprehensive analysis using an actor-centered institutionalism approach
Mining definitions in Kissat with Kittens
Rezension: Craig A. Stephenson: Periodic orbits. F. R. Moulton’s quest for a new lunar theory, History of Mathematics 45. Providence, RI: American Mathematical Society 2021, 255 Seiten
Decline of Lanna ceramic group production in northern Thailand (Ban Bo Suak site) confined by radiocarbon and luminescence dating
Effects of strength training using unstable surfaces on strength, power and balance performance across the lifespan: a systematic review and meta-analysis
Propagation based local search for bit-precise reasoning
Efficient All-UIP learned clause minimization
How effective is peer-to-peer support in cancer patients and survivors? A systematic review
Cancer care in German centers of excellence during the first 2 years of the COVID-19 pandemic
Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra
AMULET 2.0 for verifying multiplier circuits
Early non-social behavioural indicators of autism spectrum disorder (ASD) in siblings at elevated likelihood for ASD: a systematic review
Forest management cooperatives and their development under uncertain conditions: a comprehensive analysis using an actor-centered institutionalism approach
Mining definitions in Kissat with Kittens
Rezension: Craig A. Stephenson: Periodic orbits. F. R. Moulton’s quest for a new lunar theory, History of Mathematics 45. Providence, RI: American Mathematical Society 2021, 255 Seiten
Decline of Lanna ceramic group production in northern Thailand (Ban Bo Suak site) confined by radiocarbon and luminescence dating
Effects of strength training using unstable surfaces on strength, power and balance performance across the lifespan: a systematic review and meta-analysis
Propagation based local search for bit-precise reasoning
Efficient All-UIP learned clause minimization
How effective is peer-to-peer support in cancer patients and survivors? A systematic review