Edit Profile (opens in new tab) Saikko, Paul Co-Author Distance Author ID: saikko.paul Published as: Saikko, Paul Documents Indexed: 3 Publications since 2015 Co-Authors: 3 Co-Authors with 3 Joint Publications 63 Co-Co-Authors Co-Authors 0 single-authored 3 Järvisalo, Matti 2 Berg, Jeremias 1 Malone, Brandon Serials Fields 3 Computer science (68-XX) 1 Statistics (62-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 3 Publications have been cited 11 times in 11 Documents Cited by ▼ Year ▼ LMHS: a SAT-IP hybrid MaxSat solver. Zbl 1475.68449 Saikko, Paul; Berg, Jeremias; Järvisalo, Matti 8 2016 MaxSAT-based cutting planes for learning graphical models. Zbl 1459.68193 Saikko, Paul; Malone, Brandon; Järvisalo, Matti 2 2015 Subsumed label elimination for maximum satisfiability. Zbl 1403.68235 Berg, Jeremias; Saikko, Paul; Järvisalo, Matti 1 2016 LMHS: a SAT-IP hybrid MaxSat solver. Zbl 1475.68449 Saikko, Paul; Berg, Jeremias; Järvisalo, Matti 8 2016 Subsumed label elimination for maximum satisfiability. Zbl 1403.68235 Berg, Jeremias; Saikko, Paul; Järvisalo, Matti 1 2016 MaxSAT-based cutting planes for learning graphical models. Zbl 1459.68193 Saikko, Paul; Malone, Brandon; Järvisalo, Matti 2 2015 all cited Publications top 5 cited Publications all top 5 Cited by 38 Authors 5 Järvisalo, Matti 2 Berg, Jeremias 2 Hyttinen, Antti 1 Alviano, Mario 1 Bonet, Maria Luisa 1 Buss, Samuel R. 1 Coll, Jordi 1 Danks, David 1 Dodaro, Carmine 1 Eberhardt, Frederick 1 Habet, Djamal 1 He, Kun 1 Ignatyev, Alexey A. 1 Ihalainen, Hannes 1 Joshi, Saurabh 1 Koshimura, Miyuki 1 Kumar, Prateek 1 Li, Chumin 1 Li, Wenjun 1 Liao, Xiaojuan 1 Manyà, Felip 1 Marques-Silva, João P. 1 Martins, Ruben 1 Morgado, António 1 Niskanen, Andreas 1 Nomoto, Kazuki 1 Plis, Sergey 1 Rantanen, Kari 1 Rao, Sukrut 1 Saikko, Paul 1 Sakurai, Yuko 1 Ueda, Suguru 1 Wallner, Johannes Peter 1 Wang, Jianxin 1 Xu, Chao 1 Xu, Zhenxing 1 Yang, Yongjie 1 Yokoo, Makoto all top 5 Cited in 7 Serials 2 International Journal of Approximate Reasoning 1 Artificial Intelligence 1 AI Communications 1 Constraints 1 Journal of Combinatorial Optimization 1 Fundamenta Informaticae 1 Journal of Satisfiability, Boolean Modeling and Computation Cited in 5 Fields 10 Computer science (68-XX) 3 Operations research, mathematical programming (90-XX) 2 Statistics (62-XX) 1 Mathematical logic and foundations (03-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year