scientific article; zbMATH DE number 1341458
From MaRDI portal
Publication:4262997
zbMath0935.68094MaRDI QIDQ4262997
Publication date: 22 September 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Exploiting multivalued knowledge in variable selection heuristics for SAT solvers ⋮ Regular-SAT: A many-valued approach to solving combinatorial problems ⋮ Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings
This page was built for publication: