napredno iskanje
o slovenski bibliografiji
kontakt
pomoč
kolofon
english
domov
>
napredno iskanje
>
rezultati
>
izpis
Zapis ISO690
MENAI, Mohamed El Bachir; AL-YAHYA, Tasniem Nasser
.
Influence of CNF encoding of AtMost-1 constraints on UNSAT-based PMSAT slovers
.
str. 245-251
.
ISSN 0350-5596
.