| Learning to branch in mixed integer programming E Khalil, P Le Bodic, L Song, G Nemhauser, B Dilkina Proceedings of the AAAI conference on artificial intelligence 30 (1), 2016 | 435 | 2016 |
| The SCIP optimization suite 7.0 G Gamrath, D Anderson, K Bestuzheva, WK Chen, L Eifler, M Gasse, ... | 299 | 2020 |
| Branch-and-cut-and-price for multi-agent path finding E Lam, P Le Bodic, D Harabor, PJ Stuckey Computers & Operations Research 144, 105809, 2022 | 134 | 2022 |
| An integer linear program for substitution-tolerant subgraph isomorphism and its use for symbol spotting in technical drawings P Le Bodic, P Héroux, S Adam, Y Lecourtier Pattern Recognition 45 (12), 4214-4224, 2012 | 46 | 2012 |
| An Abstract Model for Branching and its Application to Mixed Integer Programming P Le Bodic, GL Nemhauser Mathematical Programming 165 (1-2), 369-405, 2017 | 37 | 2017 |
| Computing optimal decision sets with SAT J Yu, A Ignatiev, PJ Stuckey, P Le Bodic Principles and Practice of Constraint Programming: 26th International …, 2020 | 33 | 2020 |
| On a stochastic bilevel programming problem S Kosuch, P Le Bodic, J Leung, A Lisser Networks 59 (1), 107-116, 2012 | 33 | 2012 |
| New valid inequalities in branch-and-cut-and-price for multi-agent path finding E Lam, P Le Bodic Proceedings of the International Conference on Automated Planning and …, 2020 | 29 | 2020 |
| Optimal sankey diagrams via integer programming DC Zarate, P Le Bodic, T Dwyer, G Gange, P Stuckey 2018 IEEE pacific visualization symposium (PacificVis), 135-139, 2018 | 29 | 2018 |
| Symbol detection using region adjacency graphs and integer linear programming P Le Bodic, H Locteau, S Adam, P Héroux, Y Lecourtier, A Knippel 2009 10th International Conference on Document Analysis and Recognition …, 2009 | 28 | 2009 |
| Estimating the size of branch-and-bound trees G Hendel, D Anderson, P Le Bodic, ME Pfetsch INFORMS Journal on Computing 34 (2), 934-952, 2022 | 17 | 2022 |
| Learning optimal decision sets and lists with sat J Yu, A Ignatiev, PJ Stuckey, P Le Bodic Journal of Artificial Intelligence Research 72, 1251-1279, 2021 | 17 | 2021 |
| Clairvoyant restarts in branch-and-bound search using online tree-size estimation D Anderson, G Hendel, P Le Bodic, M Viernickel Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 1427-1434, 2019 | 15 | 2019 |
| F-aware conflict prioritization & improved heuristics for conflict-based search E Boyarski, A Felner, P Le Bodic, DD Harabor, PJ Stuckey, S Koenig Proceedings of the AAAI Conference on Artificial Intelligence 35 (14), 12241 …, 2021 | 13 | 2021 |
| Optimal decision lists using SAT J Yu, A Ignatiev, PL Bodic, PJ Stuckey arXiv preprint arXiv:2010.09919, 2020 | 13 | 2020 |
| Online computation of euclidean shortest paths in two dimensions R Hechenberger, PJ Stuckey, D Harabor, P Le Bodic, MA Cheema Proceedings of the International Conference on Automated Planning and …, 2020 | 12 | 2020 |
| Estimating the size of search trees by sampling with domain knowledge G Belov, S Esler, D Fernando, P Le Bodic, GL Nemhauser International Joint Conference on Artificial Intelligence 2017, 473-479, 2017 | 12 | 2017 |
| Better short than greedy: Interpretable models through optimal rule boosting M Boley, S Teshuva, PL Bodic, GI Webb Proceedings of the 2021 SIAM international conference on data mining (SDM …, 2021 | 10 | 2021 |
| How important are branching decisions: Fooling MIP solvers P Le Bodic, GL Nemhauser Operations Research Letters 43 (3), 273-278, 2015 | 10 | 2015 |
| Gem++: A tool for solving substitution-tolerant subgraph isomorphism J Lerouge, P Le Bodic, P Héroux, S Adam Graph-Based Representations in Pattern Recognition: 10th IAPR-TC-15 …, 2015 | 8 | 2015 |
Peter StuckeyFaculty of Information Technology, Monash UniversityVerified email at monash.edu
