Autori: Stojadinovic Mirko S
| Naslov | meSAT: multiple encodings of CSP to SAT (Article) |
| Autori | Stojadinovic Mirko S Maric Filip M 
|
| Info | CONSTRAINTS, (2014), vol. 19 br. 4, str. 380-403 |
| Projekat | Serbian Ministry of Science [174021]; SNF [SCOPES IZ73Z0_127979/1] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
     |
