scientific article
From MaRDI portal
Publication:3194805
zbMath1322.68187MaRDI QIDQ3194805
Alden Walker, Andrew Mayer, Katrina J. Ray, Sean A. Weaver, Victor W. Marek
Publication date: 20 October 2015
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Constructing SAT Filters with a Quantum Annealer ⋮ \(\boldsymbol{borealis}\) -- a generalized global update algorithm for Boolean optimization problems ⋮ Hash-based preprocessing and inprocessing techniques in SAT solvers
This page was built for publication: