scientific article
From MaRDI portal
Publication:3604001
zbMath1170.68594MaRDI QIDQ3604001
Hans van Maaren, Marijn J. H. Heule
Publication date: 24 February 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\) ⋮ Leveraging GPUs for effective clause sharing in parallel SAT solving
Uses Software
This page was built for publication:
