Many hard examples for resolution
Journal of the ACM (JACM)
Probabilistic performance of a heuristic for the satisfiability problem
Discrete Applied Mathematics
Algorithms for testing the satisfiability of propositional formulae
Journal of Logic Programming
Information Sciences: an International Journal
A Computing Procedure for Quantification Theory
Journal of the ACM (JACM)
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computational Experience with an Interior Point Algorithm on the Satisfiability Problem
Proceedings of the 1st Integer Programming and Combinatorial Optimization Conference
The complexity of theorem-proving procedures
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
The complexity of automated reasoning
The complexity of automated reasoning
Where the really hard problems are
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
An efficient learning procedure for multiple implication checks
Proceedings of the conference on Design, automation and test in Europe
Models and thresholds for random constraint satisfaction problems
STOC '02 Proceedings of the thiry-fourth annual ACM symposium on Theory of computing
On Solving Stack-Based Incremental Satisfiability Problems
ICCD '00 Proceedings of the 2000 IEEE International Conference on Computer Design: VLSI in Computers & Processors
The probabilistic analysis of a greedy satisfiability algorithm
Random Structures & Algorithms
Quantum cooperative search algorithm for 3-SAT
Journal of Computer and System Sciences
Regular-SAT: A many-valued approach to solving combinatorial problems
Discrete Applied Mathematics
MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
Artificial Intelligence
An Empirical Study of the Manipulability of Single Transferable Voting
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Journal of Automated Reasoning
Understanding the behavior of Solution-Guided Search for job-shop scheduling
Journal of Scheduling
On the practical side of answer set programming
Logic programming, knowledge representation, and nonmonotonic reasoning
Maximizing population diversity in single-objective optimization
Proceedings of the 13th annual conference on Genetic and evolutionary computation
Empirical study of the anatomy of modern sat solvers
SAT'11 Proceedings of the 14th international conference on Theory and application of satisfiability testing
The decimation process in random k-SAT
ICALP'11 Proceedings of the 38th international colloquim conference on Automata, languages and programming - Volume Part I
Practical computation of optimal schedules in multihop wireless networks
IEEE/ACM Transactions on Networking (TON)
Flexible and approximate computation through state-space reduction
UAI'98 Proceedings of the Fourteenth conference on Uncertainty in artificial intelligence
Reasoning, metareasoning, and mathematical truth: studies of theorem proving under limited resources
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
Algorithm portfolio design: theory vs. practice
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
Model complexity vs. performance in the bayesian optimization algorithm
PPSN'06 Proceedings of the 9th international conference on Parallel Problem Solving from Nature
Protecting data privacy through hard-to-reverse negative databases
ISC'06 Proceedings of the 9th international conference on Information Security
On the impact of small-world on local search
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
Is computational complexity a barrier to manipulation?
Annals of Mathematics and Artificial Intelligence
A backbone-based co-evolutionary heuristic for partial MAX-SAT
EA'05 Proceedings of the 7th international conference on Artificial Evolution
A clonal selection algorithm for coloring, hitting set and satisfiability problems
WIRN'05 Proceedings of the 16th Italian conference on Neural Nets
Approximation algorithm for random MAX-kSAT
SAT'04 Proceedings of the 7th international conference on Theory and Applications of Satisfiability Testing
Satisfiability threshold of the skewed random k-SAT
SAT'04 Proceedings of the 7th international conference on Theory and Applications of Satisfiability Testing
March_eq: implementing additional reasoning into an efficient look-ahead SAT solver
SAT'04 Proceedings of the 7th international conference on Theory and Applications of Satisfiability Testing
Threshold behaviour of WalkSAT and focused metropolis search on random 3-satisfiability
SAT'05 Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing
A generating function method for the average-case analysis of DPLL
APPROX'05/RANDOM'05 Proceedings of the 8th international workshop on Approximation, Randomization and Combinatorial Optimization Problems, and Proceedings of the 9th international conference on Randamization and Computation: algorithms and techniques
Exact thresholds for DPLL on random XOR-SAT and NP-complete extensions of XOR-SAT
Theoretical Computer Science
Solving SAT problems with TA algorithms using constant and dynamic markov chains length
AAIM'05 Proceedings of the First international conference on Algorithmic Applications in Management
A physics-style approach to scalability of distributed systems
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Logical analysis of hash functions
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Multiagent task allocation in social networks
Autonomous Agents and Multi-Agent Systems
Non uniform selection of solutions for upper bounding the 3-SAT threshold
SAT'10 Proceedings of the 13th international conference on Theory and Applications of Satisfiability Testing
Sharp utilization thresholds for some realtime scheduling problems
ACM SIGMETRICS Performance Evaluation Review
Where are the hard manipulation problems?
Journal of Artificial Intelligence Research
The freezing threshold for k-colourings of a random graph
STOC '12 Proceedings of the forty-fourth annual ACM symposium on Theory of computing
Large hinge width on sparse random hypergraphs
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
SAT'12 Proceedings of the 15th international conference on Theory and Applications of Satisfiability Testing
Planning as satisfiability: Heuristics
Artificial Intelligence
A boolean model for enumerating minimal siphons and traps in petri nets
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
On the application of SAT solvers to the test suite minimization problem
SSBSE'12 Proceedings of the 4th international conference on Search Based Software Engineering
Solutions for hard and soft constraints using optimized probabilistic satisfiability
SAT'13 Proceedings of the 16th international conference on Theory and Applications of Satisfiability Testing
Algorithm runtime prediction: Methods & evaluation
Artificial Intelligence
Hi-index | 0.00 |
We report results from large-scale experiments in satisfiability testing. As has been observed by others, testing the satisfiability of random formulas often appears surprisingly easy. Here we show that by using the right distribution of instances, and appropriate parameter values, it is possible to generate random formulas that are hard, that is, for which satisfiability testing is quite difficult. Our results provide a benchmark for the evaluation of satisfiability-testing procedures.