Wird geladen...
On Improving Local Search for Unsatisfiability
Stochastic local search (SLS) has been an active field of research in the last few years, with new techniques and procedures being developed at an astonishing rate. SLS has been traditionally associated with satisfiability solving, that is, finding a solution for a given problem instance, as its int...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Artigo |
| Sprache: | Inglês |
| Veröffentlicht: |
Open Publishing Association
2009-10-01
|
| Schriftenreihe: | Electronic Proceedings in Theoretical Computer Science |
| Online Zugang: | http://arxiv.org/pdf/0910.1244v1 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|