A Aralex Aachen research explorer

June 21, 2014 conference-paper Open access

Double Configuration Checking in Stochastic Local Search for Satisfiability

Proceedings of the AAAI Conference on Artificial Intelligence

DOI: 10.1609/aaai.v28i1.9110 Full text (OA) OpenAlex

Authors 0

Author list not loaded yet.

Cited by 2 stored of 48

Applying aspiration in local search for satisfiability
2020 PLoS ONE article Computer Science Constraint Satisfaction and Optimization Open access

5

citations
PbO-CCSAT: Boosting Local Search for Satisfiability Using Programming by Optimisation
2020 Lecture notes in computer science conference-paper Computer Science Constraint Satisfaction and Optimization

14

citations

2 results

References 0