A fully polynomial time approximation scheme for refutations in weighted difference constraint systems

From MaRDI portal
Publication:2636553