Publication:2786913
From MaRDI portal
zbMath1331.68208MaRDI QIDQ2786913
Cédric Piette, Lakhdar Saïs, Youssef Hamadi, Saïd Jabbour
Publication date: 23 February 2016
68W10: Parallel algorithms in computer science
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
A review of literature on parallel constraint solving, An overview of parallel SAT solving, What we can learn from conflicts in propositional satisfiability