Edit Profile (opens in new tab) Samulowitz, Horst Co-Author Distance Author ID: samulowitz.horst Published as: Samulowitz, Horst Documents Indexed: 9 Publications since 2001, including 1 Additional arXiv Preprint Co-Authors: 19 Co-Authors with 9 Joint Publications 507 Co-Co-Authors all top 5 Co-Authors 0 single-authored 3 Bacchus, Fahiem 2 Sabharwal, Ashish 2 Schrijvers, Tom 2 Stuckey, Peter James 2 Tack, Guido 2 Wuille, Pieter 1 Achterberg, Tobias 1 Bouneffouf, Djallel 1 Bramble, Greg 1 Ciré, André Augusto 1 Gray, Alexander G. 1 Hornung, Alexander 1 Liu, Sijia 1 Oberschelp, Walter 1 Ram, Parikshit 1 Saraswat, Vijay A. 1 van Hoeve, Willem-Jan 1 Vijaykeerthi, Deepak 1 Wang, Dakuo Serials 1 The Visual Computer 1 Constraints Fields 7 Computer science (68-XX) 3 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 6 Publications have been cited 24 times in 22 Documents Cited by ▼ Year ▼ Using SAT in QBF. Zbl 1153.68485 Samulowitz, Horst; Bacchus, Fahiem 8 2005 Binary clause reasoning in QBF. Zbl 1187.68265 Samulowitz, Horst; Bacchus, Fahiem 6 2006 Search combinators. Zbl 1309.90090 Schrijvers, Tom; Tack, Guido; Wuille, Pieter; Samulowitz, Horst; Stuckey, Peter J. 4 2013 Parallel combinatorial optimization with decision diagrams. Zbl 1407.68446 Bergman, David; Cire, Andre A.; Sabharwal, Ashish; Samulowitz, Horst; Saraswat, Vijay; van Hoeve, Willem-Jan 4 2014 Dynamically partitioning for solving QBF. Zbl 1214.68373 Samulowitz, Horst; Bacchus, Fahiem 1 2007 Stronger inference through implied literals from conflicts and knapsack covers. Zbl 1382.68218 Achterberg, Tobias; Sabharwal, Ashish; Samulowitz, Horst 1 2013 Parallel combinatorial optimization with decision diagrams. Zbl 1407.68446 Bergman, David; Cire, Andre A.; Sabharwal, Ashish; Samulowitz, Horst; Saraswat, Vijay; van Hoeve, Willem-Jan 4 2014 Search combinators. Zbl 1309.90090 Schrijvers, Tom; Tack, Guido; Wuille, Pieter; Samulowitz, Horst; Stuckey, Peter J. 4 2013 Stronger inference through implied literals from conflicts and knapsack covers. Zbl 1382.68218 Achterberg, Tobias; Sabharwal, Ashish; Samulowitz, Horst 1 2013 Dynamically partitioning for solving QBF. Zbl 1214.68373 Samulowitz, Horst; Bacchus, Fahiem 1 2007 Binary clause reasoning in QBF. Zbl 1187.68265 Samulowitz, Horst; Bacchus, Fahiem 6 2006 Using SAT in QBF. Zbl 1153.68485 Samulowitz, Horst; Bacchus, Fahiem 8 2005 all cited Publications top 5 cited Publications all top 5 Cited by 52 Authors 3 Ciré, André Augusto 3 Seidl, Martina 2 Beyersdorff, Olaf 2 Biere, Armin 2 Egly, Uwe 2 Lonsing, Florian 2 Michel, Laurent 2 Schaus, Pierre 2 Van Hentenryck, Pascal 1 Bacchus, Fahiem 1 Beck, J. Christopher 1 Blinkhorn, Joshua 1 Castro, Margarita Paz 1 Chew, Leroy 1 Clarke, Edmund Melson jun. 1 Coppé, Vianney 1 da Mota, Benoit 1 Gebser, Martin 1 Gillard, Xavier 1 Goultiaeva, Alexandra 1 Hinde, Luke 1 Hooker, John N. jun. 1 Hsu, Tzu-Chien 1 Iverson, Vicki 1 Janota, Mikoláš 1 Jiang, Jie-Hong Roland 1 Kiesl, Benjamin 1 Klieber, William 1 Kontchakov, Roman 1 Marques-Silva, João P. 1 Pich, Ján 1 Pulina, Luca 1 Puranik, Yash 1 Ryabokon, Anna 1 Sahinidis, Nikolaos V. 1 Samer, Marko 1 Samulowitz, Horst 1 Schenner, Gottfried 1 Schmidt, Renate A. 1 Schrijvers, Tom 1 Stéphan, Igor 1 Stuckey, Peter James 1 Suda, Martin 1 Szeider, Stefan 1 Tacchella, Armando 1 Tack, Guido 1 Tompits, Hans 1 Tu, Kuan-Hua 1 Wolter, Frank 1 Woltran, Stefan 1 Wuille, Pieter 1 Zakharyaschev, Michael Viktorovich all top 5 Cited in 6 Serials 6 Constraints 2 Artificial Intelligence 2 Journal of Automated Reasoning 1 INFORMS Journal on Computing 1 Logical Methods in Computer Science 1 Mathematical Programming Computation Cited in 5 Fields 13 Computer science (68-XX) 7 Operations research, mathematical programming (90-XX) 6 Mathematical logic and foundations (03-XX) 1 Probability theory and stochastic processes (60-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year