Sundog certificates

Source: url:https://github.com/humiliati/sundogcert Authors: Humiliati Status: verified Main declarations: Sundog.SATReductionMain.sat_iff_decodes, Sundog.Certificate.accept_sound Tags: complexity, coding-theory, np-hardness MSC: 68Q17, 94B35