𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Hard Problems

✍ Scribed by Review by: Sturgis E. Leavitt


Book ID
125765537
Publisher
JSTOR
Year
1952
Weight
172 KB
Volume
18
Category
Article
ISSN
0038-2868

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Hard Knapsack Problems
✍ Vasek ChvΓ‘tal πŸ“‚ Article πŸ“… 1980 πŸ› INFORMS 🌐 English βš– 234 KB
Hard problem
✍ Martin Baker πŸ“‚ Article πŸ“… 2012 πŸ› Reed Business 🌐 English βš– 339 KB
Generating hard satisfiability problems
✍ Bart Selman; David G. Mitchell; Hector J. Levesque πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 975 KB

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

The hard problem
✍ Hugo Lagercrantz πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 162 KB
Approaching hard non-classical problems
✍ Paul B. Thistlewaite; Michael A. McRobbie πŸ“‚ Article πŸ“… 1991 πŸ› Springer Netherlands 🌐 English βš– 95 KB