scientific article; zbMATH DE number 3559035
From MaRDI portal
Publication:4131061
zbMath0358.68132MaRDI QIDQ4131061
Publication date: 1976
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 (4)
Tautology testing with a generalized matrix reduction method ⋮ Unnamed Item ⋮ A new lower bound on approximability of the ground state problem for tridimensional Ising spin glasses ⋮ Two systems for proving tautologies, based on the split method
This page was built for publication: