Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
programme function » programming function, programme action, programs functional
function function » function functional, functions functional, function dysfunction
maxsat programme » mast programme, fast programme, east programme
parallel maxsat » parallel sat, parallel market, parallel assay
function https » functions https, fiction https
programme function » programming function, programme action, programs functional
function function » function functional, functions functional, function dysfunction
maxsat programme » mast programme, fast programme, east programme
parallel maxsat » parallel sat, parallel market, parallel assay
function https » functions https, fiction https
1
Argitaratua 2013
Aurkibidea:
“... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...”Testu osoa
Baliabide elektronikoa
eBook
