Treengeling
From MaRDI portal
Software:25229
No author found.
Related Items (62)
On the maximal minimal cube lengths in distinct DNF tautologies ⋮ Solution validation and extraction for QBF preprocessing ⋮ Partial Order Reduction for Deep Bug Finding in Synchronous Hardware ⋮ Nonexistence Certificates for Ovals in a Projective Plane of Order Ten ⋮ Laissez-Faire Caching for Parallel #SAT Solving ⋮ HordeSat: A Massively Parallel Portfolio SAT Solver ⋮ Between SAT and UNSAT: The Fundamental Difference in CDCL SAT ⋮ SAT race 2015 ⋮ Lazy Clause Exchange Policy for Parallel SAT Solvers ⋮ DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs ⋮ Machine learning-based restart policy for CDCL SAT solvers ⋮ Community and LBD-based clause sharing policy for parallel SAT solving ⋮ Reproducible efficient parallel SAT solving ⋮ Improving implementation of SAT competitions 2017--2019 winners ⋮ Simplified and improved separations between regular and general resolution by lifting ⋮ Mycielski graphs and PR proofs ⋮ Using Machine Translation to Provide Target-Language Edit Hints in Computer Aided Translation Based on Translation Memories ⋮ A constraint optimization approach to causal discovery from subsampled time series data ⋮ Optimal bounds for the no-show paradox via SAT solving ⋮ On the community structure of bounded model checking SAT problems ⋮ Strategyproof social choice when preferences and outcomes may contain ties ⋮ Constructing 5-chromatic unit distance graphs embedded in the Euclidean plane and two-dimensional spheres ⋮ Tighter bounds on directed Ramsey number \(R(7)\) ⋮ Computer-aided proof of Erdős discrepancy properties ⋮ Propagation based local search for bit-precise reasoning ⋮ \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms ⋮ Efficient benchmarking of algorithm configurators via model-based surrogates ⋮ Automatic discovery of structural rules of permutation classes ⋮ Incremental column-wise verification of arithmetic circuits using computer algebra ⋮ Local Negative Circuits and Cyclic Attractors in Boolean Networks with at most Five Components ⋮ Truth Assignments as Conditional Autarkies ⋮ New ways to multiply \(3 \times 3\)-matrices ⋮ Popularity-similarity random SAT formulas ⋮ Propositional proof systems based on maximum satisfiability ⋮ The configurable SAT solver challenge (CSSC) ⋮ Automatic construction of parallel portfolios via algorithm configuration ⋮ Parallelizing SMT solving: lazy decomposition and conciliation ⋮ Representative Encodings to Translate Finite CSPs into SAT ⋮ Three-dimensional stable matching with cyclic preferences ⋮ On propositional coding techniques for the distinguishability of objects in finite sets ⋮ On dispersable book embeddings ⋮ An adaptive prefix-assignment technique for symmetry reduction ⋮ Cryptanalysis of Ascon ⋮ An adaptive prefix-assignment technique for symmetry reduction ⋮ On the completeness of bounded model checking for threshold-based distributed algorithms: reachability ⋮ Clause vivification by unit propagation in CDCL SAT solvers ⋮ Unnamed Item ⋮ Using Merging Variables-Based Local Search to Solve Special Variants of MaxSAT Problem ⋮ Merging Variables: One Technique of Search in Pseudo-Boolean Optimization ⋮ Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer ⋮ SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers ⋮ A computational complexity analysis of tunable type inference for Generic Universe Types ⋮ SAT competition 2020 ⋮ \(k\)-majority digraphs and the hardness of voting with a constant number of voters ⋮ Covered clauses are not propagation redundant ⋮ The resolution of Keller's conjecture ⋮ OptiLog: a framework for SAT-based systems ⋮ Efficient all-UIP learned clause minimization ⋮ The \textsc{MergeSat} solver ⋮ XOR local search for Boolean Brent equations ⋮ Leveraging GPUs for effective clause sharing in parallel SAT solving ⋮ Scalable SAT solving in the cloud
This page was built for software: Treengeling
