Results 31 to 40 of about 3,671,128 (304)
Community structure in industrial SAT instances [PDF]
, 2019 Modern SAT solvers have experienced a remarkable progress on solving industrial instances. It is believed that most of these successful techniques exploit the underlying structure of industrial instances.
Ansótegui Gil, Carlos +4 more
core +1 more source
Implementing Efficient All Solutions SAT Solvers [PDF]
ACM Journal of Experimental Algorithmics, 2016 All solutions SAT (AllSAT for short) is a variant of the propositional satisfiability problem. AllSAT has been relatively unexplored compared to other variants despite its significance. We thus survey and discuss major techniques of AllSAT solvers. We accurately implemented them and conducted comprehensive experiments using a large number of instances ...
Toda, Takahisa, Soh, Takehide
openaire +3 more sources
BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting
AAAI Conference on Artificial Intelligence, 2019 Given a Boolean formula φ, the problem of model counting, also referred to as #SAT is to compute the number of solutions of φ. Model counting is a fundamental problem in artificial intelligence with a wide range of applications including probabilistic ...
M. Soos, Kuldeep S. Meel
semanticscholar +1 more source
On the van der Waerden numbers w(2;3,t) [PDF]
, 2014 We present results and conjectures on the van der Waerden numbers w(2;3,t) and on the new palindromic van der Waerden numbers pdw(2;3,t). We have computed the new number w(2;3,19) = 349, and we provide lower bounds for 20
Ahmed, Tanbir +2 more
core +2 more sources
Effective Problem Solving Using SAT Solvers [PDF]
, 2020 To appear in Proceedings of the Maple Conference ...
Bright, Curtis +3 more
openaire +2 more sources
Further accelerating the search of differential characteristics based on the SAT method
网络与信息安全学报, 2022 Sun et al.’s method of using Matsui’s bounding conditions to accelerate the search of differential characteristics was reviewed.Matsui’s boundary conditions and Sun et al.’s method of using Matsui’s bounding conditions to accelerate the search of ...
Zheng XU
doaj +3 more sources
Analog Approach to Constraint Satisfaction Enabled by Spin Orbit Torque Magnetic Tunnel Junctions
Scientific Reports, 2018 Boolean satisfiability (k-SAT) is an NP-complete (k ≥ 3) problem that constitute one of the hardest classes of constraint satisfaction problems. In this work, we provide a proof of concept hardware based analog k-SAT solver, that is built using Magnetic ...
Parami Wijesinghe +2 more
doaj +1 more source
Improving WalkSAT for Random 3-SAT Problems [PDF]
Journal of Universal Computer Science, 2020 Stochastic local search (SLS) algorithms are well known for their ability to efficiently find models of random instances of the Boolean satisfiability (SAT) problems.
Huimin Fu, Yang Xu, Shuwei Chen, Jun Liu
doaj +3 more sources
BerkMin: A Fast and Robust Sat-Solver [PDF]
Discrete Applied Mathematics, 2003 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Goldberg, Eugene, Novikov, Yakov
openaire +2 more sources
SAT-based Explicit LTL Reasoning [PDF]
, 2015 We present here a new explicit reasoning framework for linear temporal logic (LTL), which is built on top of propositional satisfiability (SAT) solving.
AR Bradley +25 more
core +1 more source