On the Random Generation of 3-SAT Instances (1995)

Cached

Download Links

by Antoine Rauzy
Venue:LABORATOIRE BORDELAIS DE RECHERCHE EN INFORMATIQUE, UNIVERSITE BORDEAUX I
Citations:2 - 0 self

Documents Related by Co-Citation

740 A machine program for theorem proving – Martin Davis, George Logemann, Donald Loveland - 1962
680 A New Method for Solving Hard Satisfiability Problems – Bart Selman, Hector Levesque, David Mitchell - 1992
3 Experimental Results on the Cross over Point in Satisfiability Problems – J M Crawford, L D Auton - 1993
1 Kanefsky and W.M. Taylor.Where the Really Hard Problems Are – P Cheeseman, B - 1991
37 Performance tests of local search algorithms using new types of random cnf formulas – Byungki Cha, Kazuo Iwama - 1995
215 Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems – Bart Selman, Henry Kautz - 1993
194 The breakout method for escaping from local minima – P Morris - 1993
18 Easy to be hard: Difficult problems for greedy algorithms – K Konolige - 1994
214 Many hard examples for resolution – V Chvátal, E Szemerédi - 1988
283 and easy distributions of sat problems – Hard - 1992
361 Noise strategies for improving local search – Bart Selman, Henry A. Kautz, Bram Cohen - 1994
1 From very hard doubly balanced SAT formulae to easy unbalanced SAT formulae, variations of the satisfiability threshold – O Dubois, Y Boufkhad - 1996
3 Random Generation of Satisfiable and Unsatisfiable CNF Predicates – K Iwama, H Abeta, E Miyano - 1992
2 Some ideas on random generation of k-SAT instances – Richard Genisson, Lakhdar Sais - 1994
10 Resolution search – V Chvátal - 1997
6 Detecting logical inconsistencies – Bertrand MAZURE, Lakhdar SAIS, Eric GREGOIRE - 1996
201 Experimental Results on the Crossover Point in Satisfiability Problems – James M. Crawford, Larry D. Auton - 1993
112 A Theoretical Evaluation of Selected Backtracking Algorithms – Grzegorz Kondrak, Peter Van Beek - 1997
242 Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis – R M Stallman, G J Sussman - 1977