scientific article
From MaRDI portal
Publication:3181645
zbMath1187.68542MaRDI QIDQ3181645
Paulo Flores, L. Miguel Silveira, Luís Gil
Publication date: 12 October 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
HordeSat: A Massively Parallel Portfolio SAT Solver ⋮ On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\) ⋮ Computing Storyline Visualizations with Few Block Crossings ⋮ An overview of parallel SAT solving
Uses Software
