Search




Research outputs

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  

Filters

By type