URN:NBN:SI:doc-FGJTD77Q2013Al-Yahya, Tasniem NasserMenai, Mohamed El Bachirdocuments/doc/F/URN_NBN_SI_doc-FGJTD77Q_001.pdfdocuments/doc/F/URN_NBN_SI_doc-FGJTD77Q_001.txt337articlestr. 245-2510350-5596277358592URN:NBN:SI:doc-FGJTD77QengSlovensko društvo InformatikaInformatica (Ljubljana)InCBoolove enačbeCNFinformatikainformation sciencePMSATrešljivostumetna inteligencaInfluence of CNF encoding of AtMost-1 constraints on UNSAT-based PMSAT slovers