Arne Lkketangen Molde College Molde,Norway Email:...  Home/Search
Context
Related
| 143.129.203.3/eume...IC2001_719_724.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: 143.129.203.3/eum...allpapers.php (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Introduction Satisfiability (SAT) problems are capable of representing important real-world problems, like e.g. planning, scheduling and robotic movement, and e#cient encodings exist for many of these. E#cient solvers for these problems are thus of critical significance. SAT has thus received substantial attention in recent years, and e#cient SAT solvers exist. What sets SAT apart from other combinatorial optimization problems is that SAT is basically a feasibility problem. Once a variable... (Update)
Active bibliography (related documents): More All
0.0: Local Search Algorithms for SAT: An Empirical Evaluation - Hoos, Stützle (1999) (Correct)
0.0: Evaluating and Improving Steady State Evolutionary Algorithms.. - van der Hauw (1996) (Correct)
0.0: A Superior Evolutionary Algorithm for 3-SAT - Bäck, Eiben, Vink (1998) (Correct)
Similar documents based on text: More All
0.8: Genetic Algorithms for 0/1 Multidimensional Knapsack.. - Hoff.. (Correct)
0.8: Finding Prediction Models by Heuristic Search - Hoff, Løkketangen (1997) (Correct)
0.4: RSVP Technology for UNINETT Multimedia Services.. - Danielsen.. (1998) (Correct)
BibTeX entry: (Update)
@misc{ molde-tradeo,
author = "Arne Lkketangen Molde",
title = "Tradeo Issues in Local Search Guidance for SAT",
url = "citeseer.ist.psu.edu/647853.html" }
Citations (may not include all citations):534 The complexity of theorem-proving procedures (context) - Cook - 1971
459 A computing procedure for quantification theory (context) - Davis, Putnam - 1960
44 Stochastic Local Search - Methods (context) - Hoos - 1998
41 Heuristics for integer programming using surrogate constrain.. (context) - Glover - 1977
17 Weighting for godot: Learning heuristics for gsat - Frank - 1996
1 Surrogate Constraint Analysis - New Heuristics and Learning .. (context) - Lkketangen, Glover - 1997
1 Probabilistic Move Selection inTabu Search for 0/1 Mixed Int.. (context) - Lkketangen, Glover - 1996
1 Coloring and Satisfiability: The Second DIMACS Implementatio.. (context) - Resende, Feo et al. - 1996
Documents on the same site (http://143.129.203.3/eume/MIC2001/allpapers.php): More
A Look-Ahead Addition to the Ant Colony Optimization.. - Gagne, Gravel, Price (2001) (Correct)
Heuristics for Large Strip Packing Problems with Guillotine.. - Valenzuela, Wang (2001) (Correct)
A Local Search Approach to the Resource Constrained Project.. - Nonobe, Ibaraki (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC