- Language
-
Englisch
- Identifier
-
1303790327
Contributor
- DOI
-
10.1007/978-3-030-79876-5_15
- URN
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.10.2023, 11:33 AM CEST
Other Objects (12)
Mining definitions in Kissat with Kittens
Propagation based local search for bit-precise reasoning
AMULET 2.0 for verifying multiplier circuits
Efficient All-UIP learned clause minimization
Incremental column-wise verification of arithmetic circuits using computer algebra
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
Clausal proofs for pseudo-boolean reasoning
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
Propagation based local search for bit-precise reasoning
AMULET 2.0 for verifying multiplier circuits
Efficient All-UIP learned clause minimization
Incremental column-wise verification of arithmetic circuits using computer algebra
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
Clausal proofs for pseudo-boolean reasoning
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
Propagation based local search for bit-precise reasoning
AMULET 2.0 for verifying multiplier circuits
Efficient All-UIP learned clause minimization
Incremental column-wise verification of arithmetic circuits using computer algebra
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
Clausal proofs for pseudo-boolean reasoning
Ictal semiology of epileptic seizures with insulo-opercular genesis