Lingeling

swMATH28021MaRDI QIDQ39735FDOQ39735

Author name not available (Why is that?)

Cited In (92)

• Set-blocked clause and extended set-blocked clause in first-order logic
• D2-SYNCHRONIZATION IN NONDETERMINISTIC AUTOMATA
• Automatic discovery of structural rules of permutation classes
• Popularity-similarity random SAT formulas
• Propositional proof systems based on maximum satisfiability
• Comments on: ``An overview of curriculum-based course timetabling
• On propositional coding techniques for the distinguishability of objects in finite sets
• Partial Order Reduction for Deep Bug Finding in Synchronous Hardware
• SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers
• Constructing 5-chromatic unit distance graphs embedded in the Euclidean plane and two-dimensional spheres
• Tighter bounds on directed Ramsey number \(R(7)\)
• New models for generating hard random Boolean formulas and disjunctive logic programs
• Using SAT solvers for synchronization issues in non-deterministic automata
• A computational complexity analysis of tunable type inference for Generic Universe Types
• On the maximal minimal cube lengths in distinct DNF tautologies
• Computing AES related-key differential characteristics with constraint programming
• On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\)
• Using Community Structure to Detect Relevant Learnt Clauses
• \(k\)-majority digraphs and the hardness of voting with a constant number of voters
• Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions
• Improving implementation of SAT competitions 2017--2019 winners
• DPLL+ROBDD Derivation Applied to Inversion of Some Cryptographic Functions
• Multi-threaded ASP solving with clasp
• On preprocessing techniques and their impact on propositional model counting
• Learning Rate Based Branching Heuristic for SAT Solvers
• Blocked Clause Decomposition
• Reproducible efficient parallel SAT solving
• Deep cooperation of CDCL and local search for SAT
• Efficient all-UIP learned clause minimization
• OptiLog: a framework for SAT-based systems
• XOR local search for Boolean Brent equations
• SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers
• Mycielski graphs and PR proofs
• New ways to multiply \(3 \times 3\)-matrices
• Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
• ASlib: a benchmark library for algorithm selection
• Solving SAT in a distributed cloud: a portfolio approach
• Between SAT and UNSAT: The Fundamental Difference in CDCL SAT
• Simplified and improved separations between regular and general resolution by lifting
• Parallelizing SMT solving: lazy decomposition and conciliation
• Community and LBD-based clause sharing policy for parallel SAT solving
• Local Negative Circuits and Cyclic Attractors in Boolean Networks with at most Five Components
• Laissez-Faire Caching for Parallel #SAT Solving
• Recognition of Nested Gates in CNF Formulas
• On the completeness of bounded model checking for threshold-based distributed algorithms: reachability
• On the complexity of reconstructing chemical reaction networks
• A review of literature on parallel constraint solving
• Machine learning-based restart policy for CDCL SAT solvers
• A SAT Approach to Clique-Width
• Three-dimensional stable matching with cyclic preferences
• Leveraging GPUs for effective clause sharing in parallel SAT solving
• Nonexistence Certificates for Ovals in a Projective Plane of Order Ten
• Extreme Cases in SAT Problems
• HordeSat: A Massively Parallel Portfolio SAT Solver
• Synchronous counting and computational algorithm design
• An Expressive Model for Instance Decomposition Based Parallel SAT Solvers
• The resolution of Keller's conjecture
• SAT race 2015
• On dispersable book embeddings
• Definability for model counting
• Title not available (Why is that?)
• Covered clauses are not propagation redundant
• A constraint optimization approach to causal discovery from subsampled time series data
• An overview of parallel SAT solving
• Optimal bounds for the no-show paradox via SAT solving
• Scalable SAT solving in the cloud
• Using Merging Variables-Based Local Search to Solve Special Variants of MaxSAT Problem
• Solution validation and extraction for QBF preprocessing
• An adaptive prefix-assignment technique for symmetry reduction
• Title not available (Why is that?)
• Clause vivification by unit propagation in CDCL SAT solvers
• Efficient CNF Simplification Based on Binary Implication Graphs
• Propagation based local search for bit-precise reasoning
• Merging Variables: One Technique of Search in Pseudo-Boolean Optimization
• Strategyproof social choice when preferences and outcomes may contain ties
• The first international competition on computational models of argumentation: results and analysis
• The configurable SAT solver challenge (CSSC)
• Super-Blocked Clauses
• \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms
• DRAT Proofs for XOR Reasoning
• On the construction of triples of diagonal Latin squares of order 10
• Automatic construction of parallel portfolios via algorithm configuration
• Cardinality networks: a theoretical and empirical study
• Computer-aided proof of Erdős discrepancy properties
• Quantitative Logic Reasoning
• LMHS: A SAT-IP Hybrid MaxSAT Solver
• Efficient benchmarking of algorithm configurators via model-based surrogates
• The \textsc{MergeSat} solver
• Evaluating CDCL Variable Scoring Schemes
• Truth Assignments as Conditional Autarkies
• SAT competition 2020
• Incremental column-wise verification of arithmetic circuits using computer algebra

This page was built for software: Lingeling