| VRSTA GRADIVA | analitična raven (sestavni del), tekstovno gradivo, tiskano |
| DRŽAVA IZIDA | Slovenija |
| LETO IZIDA | 2013 |
| JEZIK BESEDILA/IZVIRNIKA | angleški |
| PISAVA | latinica |
| AVTOR | Menai, Mohamed El Bachir - avtor |
| ODGOVORNOST | Al-Yahya, Tasniem Nasser - avtor |
| NASLOV | Influence of CNF encoding of AtMost-1 constraints on UNSAT-based PMSAT slovers |
| V PUBLIKACIJI | Informatica. - ISSN 0350-5596. - ǂVol. ǂ37, ǂno. ǂ3 (sep. 2013), str. 245-251. |
| OPOMBE | Bibliografija: str. 250-251 |
| PREDMETNE OZNAKE | informatika // umetna inteligenca // PMSAT // CNF // Boolove enačbe // rešljivost |
| UDK | 004.8:510.334 |
| COBISSSI-ID | 27 |