Abstract
We continue our ongoing project examining non-uniform random distributions of propositional satisfiability formulas. In this phase of the project, we compare the results of stochastic local search (SLS) and backtracking SAT solvers near the phase transition of scale-free propositional satisfiability instances.
| Original language | English (US) |
|---|---|
| Title of host publication | HPI Future SOC Lab - Proceedings 2017 |
| Editors | Christoph Meinel, Andreas Polze, Karsten Beins, Rolf Strotmann, Ulrich Seibold, Kurt Rodszus, Jurgen Muller |
| Publisher | Universitatsverlag Potsdam |
| Pages | 53-58 |
| Number of pages | 6 |
| ISBN (Electronic) | 9783869564753 |
| State | Published - 2019 |
| Externally published | Yes |
| Event | HPI Future SOC Lab 2017 - Potsdam, Germany Duration: Nov 15 2017 → … |
Publication series
| Name | Technische Berichte des Hasso-Plattner-Instituts fur Softwaresystemtechnik an der Universitat Potsdam |
|---|---|
| Volume | 130 |
| ISSN (Print) | 2191-1665 |
| ISSN (Electronic) | 1613-5652 |
Conference
| Conference | HPI Future SOC Lab 2017 |
|---|---|
| Country/Territory | Germany |
| City | Potsdam |
| Period | 11/15/17 → … |
Bibliographical note
Publisher Copyright:© 2019 Universitatsverlag Potsdam. All rights reserved.