Publication:4131061
From MaRDI portal
zbMath0358.68132MaRDI QIDQ4131061
Publication date: 1976
90C10: Integer programming
Related Items
Tautology testing with a generalized matrix reduction method, 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, Unnamed Item