scientific article
From MaRDI portal
Publication:3639755
zbMath1190.68055MaRDI QIDQ3639755
Tommi Junttila, Antti E. J. Hyvärinen, Ilkka Niemelä
Publication date: 26 October 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Randomized algorithms (68W20) Distributed algorithms (68W15)
Related Items (4)
HordeSat: A Massively Parallel Portfolio SAT Solver ⋮ Search-Space Partitioning for Parallelizing SMT Solvers ⋮ A review of literature on parallel constraint solving ⋮ On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\)
Uses Software
This page was built for publication:
