research
∙
03/27/2023
A Linear Weight Transfer Rule for Local Search
The Divide and Distribute Fixed Weights algorithm (ddfw) is a dynamic lo...
share
research
∙
05/10/2021
A Deep Dive into Conflict Generating Decisions
Boolean Satisfiability (SAT) is a well-known NP-complete problem. Despit...
research
∙
04/25/2019
Characterization of Glue Variables in CDCL SAT Solving
A state-of-the-art criterion to evaluate the importance of a given learn...
research
∙
05/21/2018
Evolving Real-Time Heuristics Search Algorithms with Building Blocks
The research area of real-time heuristics search has produced quite many...
research
∙
05/20/2018