- Language
-
Englisch
- Identifier
-
1314607006
Contributor
- DOI
-
10.1007/s10703-017-0295-6
- URN
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
09.01.2024, 11:56 AM CET
Other Objects (12)
Mining definitions in Kissat with Kittens
Efficient All-UIP learned clause minimization
Clausal proofs for pseudo-boolean reasoning
AMULET 2.0 for verifying multiplier circuits
Incremental column-wise verification of arithmetic circuits using computer algebra
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
Encoding Redundancy for Satisfaction-Driven Clause Learning
Ictal semiology of epileptic seizures with insulo-opercular genesis
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020
Mining definitions in Kissat with Kittens
Efficient All-UIP learned clause minimization
Clausal proofs for pseudo-boolean reasoning
AMULET 2.0 for verifying multiplier circuits
Incremental column-wise verification of arithmetic circuits using computer algebra
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
Encoding Redundancy for Satisfaction-Driven Clause Learning
Ictal semiology of epileptic seizures with insulo-opercular genesis
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020
Mining definitions in Kissat with Kittens
Efficient All-UIP learned clause minimization
Clausal proofs for pseudo-boolean reasoning
AMULET 2.0 for verifying multiplier circuits
Incremental column-wise verification of arithmetic circuits using computer algebra
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
Encoding Redundancy for Satisfaction-Driven Clause Learning
Ictal semiology of epileptic seizures with insulo-opercular genesis