scientific article
From MaRDI portal
Publication:2786913
zbMath1331.68208MaRDI QIDQ2786913
Cédric Piette, Lakhdar Saïs, Youssef Hamadi, Saïd Jabbour
Publication date: 23 February 2016
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Parallel algorithms in computer science (68W10) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (3)
What we can learn from conflicts in propositional satisfiability ⋮ A review of literature on parallel constraint solving ⋮ An overview of parallel SAT solving
This page was built for publication:
