Exploring the landscape of the space of heuristics
for local search in SAT

QR Code

Exploring the landscape of the space of heuristics for local search in SAT

Local search is a powerful technique on many combinatorial optimisation problems. However, the effectiveness of local search methods will often depend strongly on the details of the heuristics used within them. There are many potential heuristics, and so finding good ones is in itself a challenging...

Full description

Bibliographic Details
Main Authors:	Burnett, Andrew W., Parkes, Andrew J.
Format:	Conference or Workshop Item
Published:	2017
Online Access:	https://eprints.nottingham.ac.uk/43783/

Similar Items

Systematic search for local-search SAT heuristics
by: Burnett, Andrew W., et al.
Published: (2016)

Automated Heuristic Generation By Intelligent Search
by: Burnett, Andrew
Published: (2021)

Searching the hyper-heuristic design space
by: Swan, Jerry, et al.
Published: (2014)

Move Acceptance in Local Search Metaheuristics for Cross-domain Heuristic Search
by: Jackson, Warren G
Published: (2021)

A stochastic local search algorithm with adaptive acceptance for high-school timetabling
by: Kheiri, Ahmed, et al.
Published: (2014)

An efficient local search heuristics for asynchronous multiuser detection
by: Lim, Heng Siong, et al.
Published: (2003)

Local search heuristics for elective surgery scheduling considering patient urgency
by: Rashid, N. S. A., et al.
Published: (2019)

CHAMP: Creating Heuristics via Many Parameters for online bin packing
by: Asta, Shahriar, et al.
Published: (2016)

Heuristic generation via parameter tuning for online bin packing
by: Yarimcam, Ahmet, et al.
Published: (2014)

Rain induced attenuation studies using RazakSAT space-Earth links
by: Nuroddin, Amirah, et al.
Published: (2013)

Iterated local search using an add and delete hyper- heuristic for university course timetabling
by: Soria-Alcaraz, Jorge A., et al.
Published: (2016)

Solving single and bi-objective surgery scheduling problems using local search heuristic
by: Ab Rashid, Nur Shafiqah
Published: (2021)

A tensor-based selection hyper-heuristic for cross-domain heuristic search
by: Asta, Shahriar, et al.
Published: (2015)

Propagation measurements during Daytime for RazakSAT S-band space to earth satellite signal transmission
by: Basri, Atikah Balqis, et al.
Published: (2018)

Developing novel meta-heuristic, hyper-heuristic and cooperative search for course timetabling problems
by: Henry Obit, Joe
Published: (2010)

Evolutionary local search for solving the office space allocation problem
by: Ulker, Ozgur, et al.
Published: (2012)

Opportunity in lost spaces: exploring the potential of edible landscapes in viaduct underpasses
by: Yang, Huihua, et al.
Published: (2024)

Combining Monte-Carlo and hyper-heuristic methods for the multi-mode resource-constrained multi-project scheduling problem
by: Asta, Shahriar, et al.
Published: (2016)

Precise Orbit Determination of CubeSats
by: Allahvirdizadeh, Amir
Published: (2022)

Investigation of Search Heuristics in Manufacturing Optimization and Decision Support
by: Le, Nguyen Anh Tuan
Published: (2009)

Harmony Search-Based Hyper-Heuristic For Scheduling Problems
by: Anwar, Khairul
Published: (2018)

Comparative evaluation of tabu search hyper-heuristic against its low-level meta-heuristic constituents
by: Fakhrud, Din, et al.
Published: (2019)

IIUM cubeSat structural subsystem design
by: Isharuddin, Siti Sarah, et al.
Published: (2015)

Determination of correlation coefficients for RazakSAT received signals
by: Basri, Atikah Balqis, et al.
Published: (2018)

Design and validation of an adaptive CubeSat transmitter system
by: Jaswar, Fitri Dewi, et al.
Published: (2019)

Deterministic and Recursive Approach in Attitude Determination for InnoSAT.
by: Djojodihardjo, Harijono, et al.
Published: (2011)

Reclaiming urban's lost landscape spaces
by: Abdul Rahman, Asraf, et al.
Published: (2013)

Office space allocation by using mathematical programming and meta-heuristics
by: Ulker, Ozgur
Published: (2013)

A Tabu Search Hyper-Heuristic for t-way Test Suite Generation
by: Kamal Z., Zamli, et al.
Published: (2016)

Index-based placement and distributed generation sizing based on heuristic search
by: N. Z., Mohd Ali, et al.
Published: (2011)

CubeSat's attitude determination using GNSS antenna array
by: Allahvirdizadeh, Amir, et al.
Published: (2022)

Progress Towards Controlled Re-entry and Recovery of CubeSats
by: Downey, Fergus William
Published: (2023)

Stability of CubeSat Clocks and Their Impacts on GNSS Radio Occultation
by: Allahvirdizadeh, Amir, et al.
Published: (2022)

Validity and reliability of the Survey of Attitudes toward Statistics (SATS) instrument
by: Yong, Chea Sin, et al.
Published: (2020)

Utilization of TiungSAT-1 Data for Coastal Current Studies
by: Marghany , Maged, et al.
Published: (2003)

A Tabu Search hyper-heuristic strategy for t-way test suite generation
by: Zamil, Kamal Z., et al.
Published: (2016)

Open space policy for landscape development In Malaysia
by: Ibrahim, Putri Haryati
Published: (2019)

Speed_Space: Architecture, Landscape and Perceptual Horizons
by: Neille, Stephen
Published: (2008)

Greening the landscape spaces with the paradox of culture and people
by: Maulan, Suhardi
Published: (2011)

A comparative representation approach to modern heuristic search methods in a job shop
by: Dominic P, Dhanapal Durai, et al.
Published: (2008)