- Sprache
-
Englisch
- Identifier
-
1303790300
Beteiligte Personen und Organisationen
- DOI
-
10.1007/978-3-030-72013-1_19
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.10.2023, 11:33 MESZ
Objekttyp
- Monografie
Beteiligte
- Kaufmann, Daniela
- Biere, Armin
Ähnliche Objekte (12)
Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra
Incremental column-wise verification of arithmetic circuits using computer algebra
Mining definitions in Kissat with Kittens
Decline of Lanna ceramic group production in northern Thailand (Ban Bo Suak site) confined by radiocarbon and luminescence dating
Propagation based local search for bit-precise reasoning
Efficient All-UIP learned clause minimization
Forest management cooperatives and their development under uncertain conditions: a comprehensive analysis using an actor-centered institutionalism approach
Cancer care in German centers of excellence during the first 2 years of the COVID-19 pandemic
Non-clausal redundancy properties
Strong Extension-Free Proof Systems
SAT solving with GPU accelerated inprocessing
Effects of strength training using unstable surfaces on strength, power and balance performance across the lifespan: a systematic review and meta-analysis
Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra
Incremental column-wise verification of arithmetic circuits using computer algebra
Mining definitions in Kissat with Kittens
Decline of Lanna ceramic group production in northern Thailand (Ban Bo Suak site) confined by radiocarbon and luminescence dating
Propagation based local search for bit-precise reasoning
Efficient All-UIP learned clause minimization
Forest management cooperatives and their development under uncertain conditions: a comprehensive analysis using an actor-centered institutionalism approach
Cancer care in German centers of excellence during the first 2 years of the COVID-19 pandemic
Non-clausal redundancy properties
Strong Extension-Free Proof Systems
SAT solving with GPU accelerated inprocessing
Effects of strength training using unstable surfaces on strength, power and balance performance across the lifespan: a systematic review and meta-analysis
Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra
Incremental column-wise verification of arithmetic circuits using computer algebra
Mining definitions in Kissat with Kittens
Decline of Lanna ceramic group production in northern Thailand (Ban Bo Suak site) confined by radiocarbon and luminescence dating
Propagation based local search for bit-precise reasoning
Efficient All-UIP learned clause minimization
Forest management cooperatives and their development under uncertain conditions: a comprehensive analysis using an actor-centered institutionalism approach
Cancer care in German centers of excellence during the first 2 years of the COVID-19 pandemic
Non-clausal redundancy properties
Strong Extension-Free Proof Systems
SAT solving with GPU accelerated inprocessing