ManySAT: A Parallel SAT Solver, Journal on Satisfiability Boolean Modeling and Computation, JSAT, vol.6, pp.245-262, 2009. ,
Chaff, Proceedings of the 38th conference on Design automation , DAC '01, pp.530-535, 2001. ,
DOI : 10.1145/378239.379017
Propositional Satisfiability and Constraint Programming, ACM Computing Surveys, vol.38, issue.4, 2006. ,
DOI : 10.1145/1177352.1177354
Local Search Algorithms for SAT: An Empirical Evaluation, Journal of Automated Reasoning, vol.24, issue.4, pp.421-481, 2000. ,
DOI : 10.1023/A:1006350622830
A New Method for Solving Hard Satisfiability Problems, pp.440-446, 1992. ,
Noise Strategies for Improving Local Search, In: AAAI, pp.337-343, 1994. ,
Evidence for Invariants in Local Search, In: AAAI/IAAI, pp.321-326, 1997. ,
Diversification and Determinism in Local Search for Satisfiability, SAT'05, pp.158-172, 2005. ,
DOI : 10.1007/11499107_12
Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT, LNCS, vol.2470, pp.233-248, 2002. ,
DOI : 10.1007/3-540-46135-3_16
Additive versus Multiplicative Clause Weighting for SAT, pp.191-196, 2004. ,
An Adaptive Noise Mechanism for WalkSAT, pp.655-660, 2002. ,
Combining Adaptive Noise and Look-Ahead in Local Search, LNCS, vol.4501, pp.121-133, 2007. ,
GridSAT: a system for solving satisfiability problems using a computational grid, Parallel Computing, vol.32, issue.9, pp.660-687, 2006. ,
DOI : 10.1016/j.parco.2006.01.004
Parallel Execution of Stochastic Search Procedures on Reduced SAT Instances, Pacific Rim International Conferences on Artificial Intelligence (PRICAI, pp.108-117, 2002. ,
DOI : 10.1007/3-540-45683-X_14
Criticality and Parallelism in Structured SAT Instances, LNCS, vol.2470, pp.714-719, 2002. ,
DOI : 10.1007/3-540-46135-3_51
Random Walk and Parallelism in Local Search, Metaheuristic International Conference (MIC'05), 2005. ,
gNovelty+ (v.2) In: Solver description, SAT competition, 2009. ,
Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT, pp.544-551, 2009. ,
Solving the Really Hard Problems with Cooperative Search, In: AAAI, pp.231-236, 1993. ,
Asynchronous Cooperative Local Search for the Office-Space-Allocation Problem, INFORMS Journal on Computing, vol.19, issue.4, pp.575-587, 2007. ,
DOI : 10.1287/ijoc.1060.0200
Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems, In: IJCAI, pp.290-295, 1993. ,
UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT and MAX-SAT, LNCS, vol.3542, pp.306-320, 2004. ,
DOI : 10.1007/11527695_24
Tradeoffs in the empirical evaluation of competing algorithm designs, Special Issue on Learning and Intelligent Optimization, 2010. ,
DOI : 10.1007/s10472-010-9191-0