Systematic search for local-search SAT heuristics

QR Code

Systematic search for local-search SAT heuristics

Heuristics for local-search are a commonly used method of improving the performance of algorithms that solve hard computational problems. Generally these are written by human experts, however a long-standing research goal has been to automate the construction of these heuristics. In this paper, we i...

Full description

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

Similar Items

Exploring the landscape of the space of heuristics for local search in SAT
by: Burnett, Andrew W., et al.
Published: (2017)

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

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

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

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

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

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

Putting the “systematic” into searching: tips for search strategies in systematic reviews
by: Grindlay, Douglas John Charles, et al.
Published: (2018)

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)

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)

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

Improvement DACS3 Searching Performance using Local Search
by: Md Rais, Helmi, et al.
Published: (2009)

Move acceptance in local search metaheuristics for cross-domain search
by: Jackson, Warren G., et al.
Published: (2018)

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

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)

An investigation of Monte Carlo tree search and local search for course timetabling problems
by: Goh, Say Leng
Published: (2017)

Calibration Systematics in the Search for Cosmic Reionisation
by: Joseph, Ronniy Christoffer
Published: (2020)

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

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

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

A Component Based Heuristic Search Method with AdaptivePerturbations for Hospital Personnel Scheduling
by: Li, Jingpeng, et al.
Published: (2006)

A component based heuristic search method with evolutionary eliminations for hospital personnel scheduling
by: Li, Jingpeng, et al.
Published: (2008)

Combination of Graph Heuristic with Hill Climbing Search for Solving Capacitated Examination Timetabling Problem
by: Ashis Kumar, Mandal, et al.
Published: (2015)

Framework of Meta-Heuristic Variable Length Searching for Feature Selection in High-Dimensional Data
by: Qadir Sara, Tara Othman, et al.
Published: (2023)

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

Low Price Guarantees in Markets with Low Search Costs
by: Harkins, Andrew
Published: (2007)

Symbiotic organisms search optimization algorithm in cloud computing: a nature-inspired meta-heuristic
by: Sa'ad, Suleiman, et al.
Published: (2022)

Search literacy: learning to search to learn
by: Wilson, Max L., et al.
Published: (2016)

Systematic literature review on search based software testing
by: Md Sultan, Abu Bakar, et al.
Published: (2013)

Efficient algorithms for subwindow search in object detection and localization
by: An, S., et al.
Published: (2009)

Effective algorithms for subwindow search in object detection and localization
by: An, Senjian, et al.
Published: (2009)

Hybridizing harmony search with local search based metaheuristic for solving curriculum based university course timetabling / Juliana Wahid
by: Wahid, Juliana
Published: (2017)

Cascading guided search cloud service search engine
by: Arvaree@Alvar, Thamilvaani, et al.
Published: (2013)

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

In search of happiness
by: Abdul Razak, Dzulkifli
Published: (2019)

In search of the kole
by: Woldeyes, Yirga Gelaw
Published: (2018)