Edit Profile (opens in new tab) Ignatyev, Alexey A. Compute Distance To: Compute Author ID: ignatyev.alexey-a Published as: Ignatiev, Alexey; Ignatyev, Alexey A.; Ignatyev, Alexey; Ignatiev, A. more...less Documents Indexed: 29 Publications since 1999 Co-Authors: 31 Co-Authors with 25 Joint Publications 573 Co-Co-Authors all top 5 Co-Authors 4 single-authored 22 Marques-Silva, João P. 10 Morgado, António 4 Mencía, Carlos 2 Bonet, Maria Luisa 2 Buss, Sam 2 Janota, Mikoláš 2 Narodytska, Nina 2 Peñaloza, Rafael 2 Planes, Jordi 2 Previti, Alessandro 1 Arif, M. Fareed 1 Beux, François 1 Izza, Yacine 1 Kochemazov, Stepan 1 Kullmann, Oliver 1 Le Bodic, Pierre 1 Li, Ding 1 Lynce, Inês 1 Manquinho, Vasco M. 1 Manthey, Norbert 1 Meel, Kuldeep S. 1 Merkle, Charles L. 1 Pereira, Felipe 1 Salvetti, Maria Vittoria 1 Semenov, Aleksandr Anatol’evich 1 Shrotri, Aditya A. 1 Sinibaldi, Edoardo 1 Stuckey, Peter James 1 Ulyantsev, Vladimir 1 Yu, Jinqiang 1 Zakirzyanov, Ilya all top 5 Serials 2 The Journal of Artificial Intelligence Research (JAIR) 1 Artificial Intelligence 1 Mekhanika Tverdogo Tela 1 AI Communications 1 Constraints 1 Trudy Instituta Prikladnoĭ Matematiki i Mekhaniki 1 Matematicheskoe Modelirovanie 1 European Series in Applied and Industrial Mathematics (ESAIM): Mathematical Modelling and Numerical Analysis 1 Journal of Satisfiability, Boolean Modeling and Computation all top 5 Fields 23 Computer science (68-XX) 3 Ordinary differential equations (34-XX) 2 Mathematical logic and foundations (03-XX) 2 Operations research, mathematical programming (90-XX) 2 Systems theory; control (93-XX) 1 Combinatorics (05-XX) 1 Numerical analysis (65-XX) 1 Mechanics of particles and systems (70-XX) 1 Fluid mechanics (76-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 20 Publications have been cited 86 times in 59 Documents Cited by ▼ Year ▼ PySAT: a Python toolkit for prototyping with SAT oracles. Zbl 1484.68215Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao 19 2018 A SAT-based approach to learn explainable decision sets. Zbl 06958127Ignatiev, Alexey; Pereira, Filipe; Narodytska, Nina; Marques-Silva, Joao 12 2018 Progression in maximum satisfiability. Zbl 1366.68266Ignatiev, A.; Morgado, A.; Manquinho, V.; Lynce, I.; Marques-Silva, J. 8 2014 BEACON: an efficient SAT-based tool for debugging \(\mathcal {EL}^+\) ontologies. Zbl 1475.68368Arif, M. Fareed; Mencía, Carlos; Ignatiev, Alexey; Manthey, Norbert; Peñaloza, Rafael; Marques-Silva, Joao 5 2016 On reducing maximum independent set to minimum satisfiability. Zbl 1423.68452Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao 4 2014 Quantified maximum satisfiability: a core-guided approach. Zbl 1390.68598Ignatiev, Alexey; Janota, Mikoláš; Marques-Silva, Joao 4 2013 Learning optimal decision sets and lists with SAT. Zbl 07470375Yu, Jinqiang; Ignatiev, Alexey; Stuckey, Peter J.; Le Bodic, Pierre 3 2021 On computing the union of MUSes. Zbl 1441.68230Mencía, Carlos; Kullmann, Oliver; Ignatiev, Alexey; Marques-Silva, Joao 3 2019 DRMaxSAT with MaxHS: first contact. Zbl 1441.68232Morgado, Antonio; Ignatiev, Alexey; Bonet, Maria Luisa; Marques-Silva, Joao; Buss, Sam 3 2019 Assessing heuristic machine learning explanations with model counting. Zbl 1441.68211Narodytska, Nina; Shrotri, Aditya; Meel, Kuldeep S.; Ignatiev, Alexey; Marques-Silva, Joao 3 2019 A numerical study of non-cavitating and cavitating liquid flow around a hydrofoil. Zbl 1130.76019Beux, François; Salvetti, Maria-Vittoria; Ignatyev, Alexey; Li, Ding; Merkle, Charles; Sinibaldi, Edoardo 3 2005 On tackling the limits of resolution in SAT solving. Zbl 1496.68368Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao 3 2017 Quantified maximum satisfiability. Zbl 1334.90075Ignatiev, Alexey; Janota, Mikoláš; Marques-Silva, Joao 3 2016 MCS extraction with sublinear oracle queries. Zbl 1475.68220Mencía, Carlos; Ignatiev, Alexey; Previti, Alessandro; Marques-Silva, Joao 3 2016 Efficient reasoning for inconsistent Horn formulae. Zbl 1483.68381Marques-Silva, Joao; Ignatiev, Alexey; Mencía, Carlos; Peñaloza, Rafael 3 2016 Efficient symmetry breaking for SAT-based minimum DFA inference. Zbl 1425.68240Zakirzyanov, Ilya; Morgado, Antonio; Ignatiev, Alexey; Ulyantsev, Vladimir; Marques-Silva, Joao 2 2019 SAT-based formula simplification. Zbl 1471.68245Ignatiev, Alexey; Previti, Alessandro; Marques-Silva, Joao 2 2015 RC2: an efficient MaxSAT solver. Zbl 1484.68216Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao 1 2019 Maximal falsifiability. Definitions, algorithms, and applications. Zbl 1407.68453Ignatiev, Alexey; Morgado, Antonio; Planes, Jordi; Marques-Silva, Joao 1 2013 DPLL+ROBDD derivation applied to inversion of some cryptographic functions. Zbl 1330.68270Ignatiev, Alexey; Semenov, Alexander 1 2011 Learning optimal decision sets and lists with SAT. Zbl 07470375Yu, Jinqiang; Ignatiev, Alexey; Stuckey, Peter J.; Le Bodic, Pierre 3 2021 On computing the union of MUSes. Zbl 1441.68230Mencía, Carlos; Kullmann, Oliver; Ignatiev, Alexey; Marques-Silva, Joao 3 2019 DRMaxSAT with MaxHS: first contact. Zbl 1441.68232Morgado, Antonio; Ignatiev, Alexey; Bonet, Maria Luisa; Marques-Silva, Joao; Buss, Sam 3 2019 Assessing heuristic machine learning explanations with model counting. Zbl 1441.68211Narodytska, Nina; Shrotri, Aditya; Meel, Kuldeep S.; Ignatiev, Alexey; Marques-Silva, Joao 3 2019 Efficient symmetry breaking for SAT-based minimum DFA inference. Zbl 1425.68240Zakirzyanov, Ilya; Morgado, Antonio; Ignatiev, Alexey; Ulyantsev, Vladimir; Marques-Silva, Joao 2 2019 RC2: an efficient MaxSAT solver. Zbl 1484.68216Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao 1 2019 PySAT: a Python toolkit for prototyping with SAT oracles. Zbl 1484.68215Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao 19 2018 A SAT-based approach to learn explainable decision sets. Zbl 06958127Ignatiev, Alexey; Pereira, Filipe; Narodytska, Nina; Marques-Silva, Joao 12 2018 On tackling the limits of resolution in SAT solving. Zbl 1496.68368Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao 3 2017 BEACON: an efficient SAT-based tool for debugging \(\mathcal {EL}^+\) ontologies. Zbl 1475.68368Arif, M. Fareed; Mencía, Carlos; Ignatiev, Alexey; Manthey, Norbert; Peñaloza, Rafael; Marques-Silva, Joao 5 2016 Quantified maximum satisfiability. Zbl 1334.90075Ignatiev, Alexey; Janota, Mikoláš; Marques-Silva, Joao 3 2016 MCS extraction with sublinear oracle queries. Zbl 1475.68220Mencía, Carlos; Ignatiev, Alexey; Previti, Alessandro; Marques-Silva, Joao 3 2016 Efficient reasoning for inconsistent Horn formulae. Zbl 1483.68381Marques-Silva, Joao; Ignatiev, Alexey; Mencía, Carlos; Peñaloza, Rafael 3 2016 SAT-based formula simplification. Zbl 1471.68245Ignatiev, Alexey; Previti, Alessandro; Marques-Silva, Joao 2 2015 Progression in maximum satisfiability. Zbl 1366.68266Ignatiev, A.; Morgado, A.; Manquinho, V.; Lynce, I.; Marques-Silva, J. 8 2014 On reducing maximum independent set to minimum satisfiability. Zbl 1423.68452Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao 4 2014 Quantified maximum satisfiability: a core-guided approach. Zbl 1390.68598Ignatiev, Alexey; Janota, Mikoláš; Marques-Silva, Joao 4 2013 Maximal falsifiability. Definitions, algorithms, and applications. Zbl 1407.68453Ignatiev, Alexey; Morgado, Antonio; Planes, Jordi; Marques-Silva, Joao 1 2013 DPLL+ROBDD derivation applied to inversion of some cryptographic functions. Zbl 1330.68270Ignatiev, Alexey; Semenov, Alexander 1 2011 A numerical study of non-cavitating and cavitating liquid flow around a hydrofoil. Zbl 1130.76019Beux, François; Salvetti, Maria-Vittoria; Ignatyev, Alexey; Li, Ding; Merkle, Charles; Sinibaldi, Edoardo 3 2005 all cited Publications top 5 cited Publications all top 5 Cited by 150 Authors 10 Marques-Silva, João P. 8 Ignatyev, Alexey A. 4 Janota, Mikoláš 3 Martins, Ruben 3 Mencía, Carlos 3 Peñaloza, Rafael 3 Semenov, Aleksandr Anatol’evich 2 Alves Rocha, Thiago 2 Beux, François 2 Joshi, Saurabh 2 Kochemazov, Stepan 2 Kučera, Petr 2 Lynce, Inês 2 Manquinho, Vasco M. 2 Martins Ferreira, Francicleber 2 Martins, Ana Teresa 2 Meel, Kuldeep S. 2 Morgado, António 2 Otpuschennikov, Ilya V. 2 Previti, Alessandro 2 Salvetti, Maria Vittoria 2 Stuckey, Peter James 2 Szeider, Stefan 1 Ansótegui, Carlos 1 Arif, Umair 1 Auricchio, Gennaro 1 Barrett, Clark W. 1 Bendík, Jaroslav 1 Benkoczi, Robert R. 1 Berg, Jeremias 1 Bidoit, Nicole 1 Bierlee, Hendrik 1 Bilanceri, Marco 1 Boltenhagen, Mathilde 1 Bonet, Maria Luisa 1 Boutilier, Justin J. 1 Broda, Krysia B. 1 Brown, Christopher W. 1 Brown, Kristopher 1 Buffat, Marc 1 Buss, Sam 1 Cadiou, Anne 1 Carmona, Josep 1 Carrizosa, Emilio 1 Ceylan, İsmail İlkan 1 Chatain, Thomas 1 Chen, Chaofan 1 Chen, Guangke 1 Chen, Taolue 1 Chen, Zhi 1 Clarke, Edmund Melson jun. 1 De Micheli, Giovanni 1 De Raedt, Luc 1 Dekker, Jip J. 1 Donovick, Caleb 1 Egly, Uwe 1 Ehlers, Rüdiger 1 Ferrarini, Luca 1 Fiorino, Guido 1 Fujita, Hiroshi 1 Furelos-Blanco, Daniel 1 Gange, Graeme 1 Gaur, Daya Ram 1 Ghosh, Bishwamittra 1 Gribanova, Irina 1 Gualandi, Stefano 1 Guman, Allison 1 Haifani, Fajar 1 Haraguchi, Kazuya 1 Hauch, Sascha 1 Heule, Marijn J. H. 1 Huang, Haiyang 1 Ihalainen, Hannes 1 Irfan, Ahmed 1 Järvisalo, Matti 1 Jonsson, Anders 1 Klieber, William 1 Kolb, Samuel 1 Koshimura, Miyuki 1 Krishnamurti, Ramesh 1 Kumar, Mohit 1 Kumar, Prateek 1 Kutyniok, Gitta 1 Kyrillidis, Anastasios 1 Lanzarotto, Greta 1 Law, Mark M. 1 Le Bodic, Pierre 1 Le Penven, Lionel 1 Li, Tiejun 1 Lonsing, Florian 1 Ma, Kefan 1 Ma, Yue 1 Macdonald, Jan 1 Malioutov, Dmitry M. 1 Mann, Makai 1 Meuli, Giulia 1 Michini, Carla 1 Molero-Río, Cristina 1 Moshkov, Mikhail Ju. 1 Neves, Miguel M. ...and 50 more Authors all top 5 Cited in 20 Serials 7 Artificial Intelligence 6 The Journal of Artificial Intelligence Research (JAIR) 3 Constraints 3 Journal of Satisfiability, Boolean Modeling and Computation 2 Theoretical Computer Science 1 Computers and Fluids 1 Discrete Applied Mathematics 1 Information Processing Letters 1 Journal of Computational Physics 1 Computing 1 Journal of Symbolic Computation 1 Journal of Automated Reasoning 1 Automation and Remote Control 1 Top 1 Annals of Mathematics and Artificial Intelligence 1 Journal of Heuristics 1 Flow, Turbulence and Combustion 1 Mathematics in Computer Science 1 Logical Methods in Computer Science 1 Statistics Surveys all top 5 Cited in 9 Fields 51 Computer science (68-XX) 8 Operations research, mathematical programming (90-XX) 7 Mathematical logic and foundations (03-XX) 3 Fluid mechanics (76-XX) 2 Statistics (62-XX) 1 General and overarching topics; collections (00-XX) 1 Convex and discrete geometry (52-XX) 1 Quantum theory (81-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year