Претрага
Резултати
Extending SMT solvers with support for finite domain alldifferent constraint
[2016]
Banković, Milan 
meSAT: multiple encodings of CSP to SAT
[2014]
Stojadinović, Mirko; Marić, Filip
Filteri
Po tipu