| Enhanced symmetry breaking in cost-optimal planning as forward search C Domshlak, M Katz, A Shleyfman Proceedings of the international conference on automated planning and …, 2012 | 76 | 2012 |
| Heuristics and symmetries in classical planning A Shleyfman, M Katz, M Helmert, S Sievers, M Wehrle Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015 | 75 | 2015 |
| On combinatorial actions and cmabs with linear side information A Shleyfman, A Komenda, C Domshlak ECAI 2014, 825-830, 2014 | 37 | 2014 |
| Blind Search for Atari-Like Online Planning Revisited A Shleyfman, A Tuisov, C Domshlak 25th International Joint Conference on Artificial Intelligence, 3251-3257, 2016 | 33 | 2016 |
| Symmetry breaking in deterministic planning as forward search: Orbit space search algorithm C Domshlak, M Katz, A Shleyfman Technical Report IS/IE-2015-03, Technion, Haifa, 2015 | 30 | 2015 |
| Symmetry breaking: Satisficing planning and landmark heuristics C Domshlak, M Katz, A Shleyfman Proceedings of the International Conference on Automated Planning and …, 2013 | 30 | 2013 |
| To aggregate or to eliminate? Optimal model simplification for improved process performance prediction A Senderovich, A Shleyfman, M Weidlich, A Gal, A Mandelbaum Information Systems 78, 96-111, 2018 | 29 | 2018 |
| Factored symmetries for merge-and-shrink abstractions S Sievers, M Wehrle, M Helmert, A Shleyfman, M Katz Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015 | 27 | 2015 |
| Counterfactual explanations for optimization-based decisions in the context of the GDPR A Korikov, A Shleyfman, C Beck ICAPS 2021 workshop on explainable AI planning, 2021 | 24 | 2021 |
| Metis: Arming fast downward with pruning and incremental computation Y Alkhazraji, M Katz, R Mattmüller, F Pommerening, A Shleyfman, ... International Planning Competition (IPC), 88-92, 2014 | 22 | 2014 |
| Operator mutexes and symmetries for simplifying planning tasks D Fišer, A Torralba, A Shleyfman Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 7586-7593, 2019 | 20 | 2019 |
| Symmetry breaking in star-topology decoupled search D Gnad, A Torralba, A Shleyfman, J Hoffmann Proceedings of the International Conference on Automated Planning and …, 2017 | 18 | 2017 |
| P-folder: optimal model simplification for improving accuracy in process performance prediction A Senderovich, A Shleyfman, M Weidlich, A Gal, A Mandelbaum International Conference on Business Process Management, 418-436, 2016 | 18 | 2016 |
| Integrating partial order reduction and symmetry elimination for cost-optimal classical planning M Wehrle, M Helmert, A Shleyfman, M Katz AAAI Press, 2015 | 18 | 2015 |
| DecStar–STAR-topology DECoupled Search at its best D Gnad, A Shleyfman, J Hoffmann IPC-9 planner abstracts, 42-46, 2018 | 15 | 2018 |
| LM-cut and operator counting heuristics for optimal numeric planning with simple conditions R Kuroiwa, A Shleyfman, C Piacentini, MP Castro, JC Beck Proceedings of the International Conference on Automated Planning and …, 2021 | 13 | 2021 |
| Automated Verification of Social Law Robustness in STRIPS E Karpas, A Shleyfman, M Tennenholtz 27th International Conference on Automated Planning and Scheduling (ICAPS …, 2017 | 12 | 2017 |
| LM-cut heuristics for optimal linear numeric planning R Kuroiwa, A Shleyfman, JC Beck Proceedings of the International Conference on Automated Planning and …, 2022 | 11 | 2022 |
| Automated synthesis of social laws in strips R Nir, A Shleyfman, E Karpas Proceedings of the AAAI Conference on Artificial Intelligence 34 (06), 9941-9948, 2020 | 11 | 2020 |
| The LM-cut heuristic family for optimal numeric planning with simple conditions R Kuroiwa, A Shleyfman, C Piacentini, MP Castro, JC Beck Journal of Artificial Intelligence Research 75, 1477-1548, 2022 | 9 | 2022 |
Michael KatzPrincipal Research Staff Member, IBM Research AIVerified email at ibm.com
