scientific article; zbMATH DE number 3559035

MaRDI QIDQ4131061zbMATH OpenFDO

Authors Zvi Galil

Publication date 1976

Mathematics Subject Classification ID

Integer programming (90C10)

Cited in

(4)

• 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
• scientific article; zbMATH DE number 3770947 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4131061)