Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-2787
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra ; day:11 ; month:1 ; year:2023 ; pages:1-12
International journal on software tools for technology transfer ; (11.1.2023), 1-12
- Urheber
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10009-022-00688-6
- URN
-
urn:nbn:de:101:1-2023032021165098844445
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
- 14.08.2025, 10:59 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Kaufmann, Daniela
- Biere, Armin
- SpringerLink (Online service)
Ähnliche Objekte (12)
Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra
AMulet 2.0 for Verifying Multiplier Circuits
AMULET 2.0 for verifying multiplier circuits
SAT solving with message passing
Advanced Methods for SAT Solving
SAT Solving mit GPU Unterstützung
SAT-Solving mit GPU-Unterstützung
SAT Solving with GPU Accelerated Inprocessing
SAT solving with GPU accelerated inprocessing
Symbolic Causality Checking Using SAT-Solving
Scalable SAT Solving and its Application
Contributions to the design of multiplier and RF mixer circuits
Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra
AMulet 2.0 for Verifying Multiplier Circuits
AMULET 2.0 for verifying multiplier circuits
SAT solving with message passing
Advanced Methods for SAT Solving
SAT Solving mit GPU Unterstützung
SAT-Solving mit GPU-Unterstützung
SAT Solving with GPU Accelerated Inprocessing
SAT solving with GPU accelerated inprocessing
Symbolic Causality Checking Using SAT-Solving
Scalable SAT Solving and its Application
Contributions to the design of multiplier and RF mixer circuits
Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra
AMulet 2.0 for Verifying Multiplier Circuits
AMULET 2.0 for verifying multiplier circuits
SAT solving with message passing
Advanced Methods for SAT Solving
SAT Solving mit GPU Unterstützung
SAT-Solving mit GPU-Unterstützung
SAT Solving with GPU Accelerated Inprocessing
SAT solving with GPU accelerated inprocessing
Symbolic Causality Checking Using SAT-Solving
Scalable SAT Solving and its Application