Cited in
(78)- Race against the teens -- benchmarking mechanized math on pre-university problems
- Can an A.I. win a medal in the mathematical olympiad? -- Benchmarking mechanized mathematics on pre-university problems
- A framework for certified Boolean branch-and-bound optimization
- Implementing efficient All solutions SAT solvers
- Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions
- The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
- Semidefinite optimization approaches for satisfiability and maximum-satisfiability problems
- Sensor networks and distributed CSP: communication, computation and complexity
- SatEx: A web-based framework for SAT experimentation
- A parallelization scheme based on work stealing for a class of SAT solvers
- An ASP-based solver for parametrized-difference revision
- Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions
- Backdoors in the Context of Learning
- A competitive and cooperative approach to propositional satisfiability
- Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates
- The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
- Approximation algorithms for treewidth
- Learning dynamic algorithm portfolios
- Machine Learning: ECML 2004
- scientific article; zbMATH DE number 5547843 (Why is no real title available?)
- Better test results for the graph coloring and the pigeonhole problems using DPLL with \(k\)-literal representation
- A quantum cooperative immune algorithm for SAT problems
- Relational Methods in Computer Science
- Efficient Monte Carlo simulation via the generalized splitting method
- Efficiently checking propositional refutations in HOL theorem provers
- The ILTP problem library for intuitionistic logic
- On SAT instance classes and a method for reliable performance experiments with SAT solvers
- Theory and Applications of Satisfiability Testing
- Tradeoffs in the complexity of backdoors to satisfiability: dynamic sub-solvers and learning during search
- ILTP
- slimgb
- UnitWalk
- Xeukleides
- SatEx
- MaxSolver
- RESTART
- MAX-2-SAT
- SATO
- Walksat
- BG-WalkSAT
- zChaff
- BIBasis
- I-SATCHMO
- TGTP
- JCell
- Velev SAT Benchmarks
- GTSP Instances Library
- IDV
- Nginx
- CNCL
- SensorDCSP
- FourierSAT
- New developments in the theory of Gröbner bases and applications to formal verification
- Theory and Applications of Satisfiability Testing
- Theory and Applications of Satisfiability Testing
- Configuration landscape analysis and backbone guided local search. I: Satisfiability and maximum satisfiability
- Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories
- Another Complete Local Search Method for SAT
- scientific article; zbMATH DE number 2161335 (Why is no real title available?)
- scientific article; zbMATH DE number 1701749 (Why is no real title available?)
- On threshold BDDs and the optimal variable ordering problem
- scientific article; zbMATH DE number 2209654 (Why is no real title available?)
- Learning MAX-SAT from contextual examples for combinatorial optimisation
- MLIC
- Experimental and Efficient Algorithms
- Modelling the dynamics of stochastic local search on \(k\)-SAT
- Polybori: A framework for Gröbner-basis computations with Boolean polynomials
- BIBasis, a package for REDUCE and Macaulay2 computer algebra systems to compute Boolean involutive and Gröbner bases
- Principles and Practice of Constraint Programming – CP 2004
- Ant Colony Optimization with Adaptive Fitness Function for Satisfiability Testing
- UnitWalk: A new SAT solver that uses local search guided by unit clause elimination
- GLNS: an effective large neighborhood search heuristic for the generalized traveling salesman problem
- Accelerating branch-and-bound through a modeling language construct for relaxation-specific constraints
- Thousands of geometric problems for geometric theorem provers (TGTP)
- Theory and Applications of Satisfiability Testing
- Computational experiments for the problem of selection of a minimal set of visual landmarks
- scientific article; zbMATH DE number 1954174 (Why is no real title available?)
- Generalized roof duality
This page was built for software: SATLIB
