Edit Profile (opens in new tab) Stojadinović, Mirko Compute Distance To: Compute Author ID: stojadinovic.mirko Published as: Stojadinović, Mirko Documents Indexed: 1 Publication since 2014 Co-Authors: 1 Co-Author with 1 Joint Publication 11 Co-Co-Authors Co-Authors 0 single-authored 1 Marić, Filip Serials 1 Constraints Fields 1 Operations research, mathematical programming (90-XX) Publications by Year Citations contained in zbMATH Open 1 Publications have been cited 4 times in 4 Documents Cited by ▼ Year ▼ meSAT: multiple encodings of CSP to SAT. Zbl 1316.90049Stojadinović, Mirko; Marić, Filip 4 2014 meSAT: multiple encodings of CSP to SAT. Zbl 1316.90049Stojadinović, Mirko; Marić, Filip 4 2014 all top 5 Cited by 11 Authors 1 Amadini, Roberto 1 Banković, Milan 1 Gabbrielli, Maurizio 1 Janičić, Predrag 1 Kovács, Zoltán 1 Marinković, Vesna 1 Mauro, Jacopo 1 Nikolić, Mladen 1 Søndergaard, Harald 1 Stuckey, Peter James 1 Wang, Wenxi Cited in 3 Serials 1 Journal of Automated Reasoning 1 Annals of Mathematics and Artificial Intelligence 1 Constraints Cited in 2 Fields 4 Computer science (68-XX) 1 Geometry (51-XX) Citations by Year