Skip to content

A DPLL Procedure for the Propositional Product Logic.

Dusan Guller

VenueCIJCCI
Year2013
ProceedingsIJCCI

Browse the full IJCCI paper archive.