Skip to content

A Preliminary Investigation of Satisfiability Problems Not Harder than 1-in-3-SAT.

Victor Lagerkvist, Biman Roy

VenueBMFCS
Year2016
ProceedingsMFCS

Browse the full MFCS paper archive.