Skip to content

An Algorithm for Satisfiability Degree Computation.

Jian Luo, Guiming Luo, Mo Xia

VenueCIJCCI
Year2011
ProceedingsIJCCI (ECTA-FCTA)

Browse the full IJCCI paper archive.