Cooperative parallel SAT local search with path relinking

DOI10.1007/978-3-030-43680-3_6zbMath1484.68218MaRDI QIDQ2057122

Alejandro Arbelaez, Padraigh Jarvis

Publication date: 8 December 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-43680-3_6

zbMATH Keywords

SAT; parallel local search

Mathematics Subject Classification ID

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

Uses Software

• ManySAT
• Paramils
• UBCSAT
• BG-WalkSAT
• CCLS
• CCEHC

Cites Work

• BG-WalkSAT