scientific article; zbMATH DE number 1404230

MaRDI QIDQ4937847zbMATH OpenFDO

Authors Eiji Miyano, Kazuo Iwama

Publication date 20 February 2000

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Complexity of computation (including implicit computational complexity) (03D15) Analysis of algorithms and problem complexity (68Q25)

Cited in

(3)

• A proof builder for Max-SAT
• MaxSAT Resolution and Subcube Sums
• Approximation of coNP sets by NP-complete sets

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 Q4937847)