Influence of CNF encoding of AtMost-1 constraints on UNSAT-based PMSAT slovers - Menai, Mohamed El Bachir (Informatica (Ljubljana), 2013)
Keywords: informatika; information science; umetna inteligenca; PMSAT; CNF; Boolove enačbe; rešljivost