@dblp

A Fully Polynomial Time Approximation Scheme for Refutations in Weighted Difference Constraint Systems.

, , , , and . CALDAM, volume 10743 of Lecture Notes in Computer Science, page 45-58. Springer, (2018)

Links and resources

Tags