SATenstein: Automatically building local search SAT solvers from components

, , &
Artificial Intelligence 232 (C):20-42 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2015.11.002

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,853

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Particle Swarm Optimization with Enhanced Global Search and Local Search.Jie Wang & Hongwen Li - 2017 - Journal of Intelligent Systems 26 (3).
Towards a characterisation of the behaviour of stochastic local search algorithms for SAT.Holger H. Hoos & Thomas Stützle - 1999 - Artificial Intelligence 112 (1-2):213-232.
The application of a search heuristic by skilled problem solvers.Robert I. Reynolds - 1991 - Bulletin of the Psychonomic Society 29 (1):55-56.
The German vorfeld and local coherence.Katja Filippova & Michael Strube - 2007 - Journal of Logic, Language and Information 16 (4):465-485.
In search of local beables.Peter J. Lewis - unknown
Conjunctural remarks on the political significance of 'the local'.Richard Pithouse - 2013 - Thesis Eleven 115 (1):95-111.
Local spatial transformations and local observables.K. Kong Wan - 1991 - Foundations of Physics 21 (9):1107-1116.
PCI-PSO: Preference-Based Component Identification Using Particle Swarm Optimization.Seyed Mohammad Hossein Hasheminejad & Shabnam Gholamshahi - 2019 - Journal of Intelligent Systems 28 (5):733-748.
Philosophy and the Search for Truth.Lloyd Strickland - 2013 - Philosophia 41 (4):1079-1094.
Algorithm runtime prediction: Methods & evaluation.Frank Hutter, Lin Xu, Holger H. Hoos & Kevin Leyton-Brown - 2014 - Artificial Intelligence 206 (C):79-111.
The Configurable SAT Solver Challenge.Frank Hutter, Marius Lindauer, Adrian Balint, Sam Bayless, Holger Hoos & Kevin Leyton-Brown - 2017 - Artificial Intelligence 243 (C):1-25.
Automatic construction of parallel portfolios via algorithm configuration.Marius Lindauer, Holger Hoos, Kevin Leyton-Brown & Torsten Schaub - 2017 - Artificial Intelligence 244 (C):272-290.
ITSB: An Intelligent Tutoring System Authoring Tool.Samy S. Abu Naser - 2016 - Journal of Scientific and Engineering Research 3 (5):63-71.
ASlib: A benchmark library for algorithm selection.Bernd Bischl, Pascal Kerschke, Lars Kotthoff, Marius Lindauer, Yuri Malitsky, Alexandre Fréchette, Holger Hoos, Frank Hutter, Kevin Leyton-Brown, Kevin Tierney & Joaquin Vanschoren - 2016 - Artificial Intelligence 237 (C):41-58.
Nested PLS.Toshiyasu Arai - 2011 - Archive for Mathematical Logic 50 (3-4):395-409.

Analytics

Added to PP
2020-12-22

Downloads
9 (#1,253,837)

6 months
8 (#361,319)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

X. Lin
Drexel University

Citations of this work

Add more citations

References found in this work

Algorithm portfolios.Carla P. Gomes & Bart Selman - 2001 - Artificial Intelligence 126 (1-2):43-62.

Add more references