Edit Profile Ignatyev, Alexey A. Compute Distance To: Compute Author ID: ignatyev.alexey-a Published as: Ignatiev, A.; Ignatiev, A. A.; Ignatiev, Alexey; Ignatyev, A. A.; Ignatyev, Alexey; Ignatyev, Alexey A. Documents Indexed: 24 Publications since 1999 all top 5 Co-Authors 1 single-authored 17 Marques-Silva, João P. 8 Morgado, António 4 Mencía, Carlos 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 Bonet, Maria Luisa 1 Buss, Sam 1 Kullmann, Oliver 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 Ulyantsev, Vladimir 1 Zakirzyanov, Ilya Serials 1 AI Communications 1 Constraints 1 European Series in Applied and Industrial Mathematics (ESAIM): Mathematical Modelling and Numerical Analysis all top 5 Fields 17 Computer science (68-XX) 2 Operations research, mathematical programming (90-XX) 1 Combinatorics (05-XX) 1 Ordinary differential equations (34-XX) 1 Fluid mechanics (76-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 16 Publications have been cited 37 times in 25 Documents Cited by ▼ Year ▼ Progression in maximum satisfiability. Zbl 1366.68266Ignatiev, A.; Morgado, A.; Manquinho, V.; Lynce, I.; Marques-Silva, J. 6 2014 PySAT: A Python toolkit for prototyping with SAT oracles. Zbl 06916321Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao 4 2018 Quantified maximum satisfiability: a core-guided approach. Zbl 1390.68598Ignatiev, Alexey; Janota, Mikoláš; Marques-Silva, Joao 4 2013 Efficient reasoning for inconsistent Horn formulae. Zbl 06658170Marques-Silva, Joao; Ignatiev, Alexey; Mencía, Carlos; Peñaloza, Rafael 3 2016 BEACON: an efficient SAT-based tool for debugging \({\mathcal {EL}}{^+}\) ontologies. Zbl 06623532Arif, M. Fareed; Mencía, Carlos; Ignatiev, Alexey; Manthey, Norbert; Peñaloza, Rafael; Marques-Silva, Joao 3 2016 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 A SAT-based approach to learn explainable decision sets. Zbl 06958127Ignatiev, Alexey; Pereira, Filipe; Narodytska, Nina; Marques-Silva, Joao 2 2018 MCS extraction with sublinear oracle queries. Zbl 06623521Mencía, Carlos; Ignatiev, Alexey; Previti, Alessandro; Marques-Silva, Joao 2 2016 SAT-based formula simplification. Zbl 06512580Ignatiev, Alexey; Previti, Alessandro; Marques-Silva, Joao 2 2015 On reducing maximum independent set to minimum satisfiability. Zbl 1423.68452Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao 2 2014 DRMaxSAT with MaxHS: first contact. Zbl 1441.68232Morgado, Antonio; Ignatiev, Alexey; Bonet, Maria Luisa; Marques-Silva, Joao; Buss, Sam 1 2019 Efficient symmetry breaking for SAT-based minimum DFA inference. Zbl 1425.68240Zakirzyanov, Ilya; Morgado, Antonio; Ignatiev, Alexey; Ulyantsev, Vladimir; Marques-Silva, Joao 1 2019 On tackling the limits of resolution in SAT solving. Zbl 06807225Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao 1 2017 Quantified maximum satisfiability. Zbl 1334.90075Ignatiev, Alexey; Janota, Mikoláš; Marques-Silva, Joao 1 2016 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 DRMaxSAT with MaxHS: first contact. Zbl 1441.68232Morgado, Antonio; Ignatiev, Alexey; Bonet, Maria Luisa; Marques-Silva, Joao; Buss, Sam 1 2019 Efficient symmetry breaking for SAT-based minimum DFA inference. Zbl 1425.68240Zakirzyanov, Ilya; Morgado, Antonio; Ignatiev, Alexey; Ulyantsev, Vladimir; Marques-Silva, Joao 1 2019 PySAT: A Python toolkit for prototyping with SAT oracles. Zbl 06916321Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao 4 2018 A SAT-based approach to learn explainable decision sets. Zbl 06958127Ignatiev, Alexey; Pereira, Filipe; Narodytska, Nina; Marques-Silva, Joao 2 2018 On tackling the limits of resolution in SAT solving. Zbl 06807225Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao 1 2017 Efficient reasoning for inconsistent Horn formulae. Zbl 06658170Marques-Silva, Joao; Ignatiev, Alexey; Mencía, Carlos; Peñaloza, Rafael 3 2016 BEACON: an efficient SAT-based tool for debugging \({\mathcal {EL}}{^+}\) ontologies. Zbl 06623532Arif, M. Fareed; Mencía, Carlos; Ignatiev, Alexey; Manthey, Norbert; Peñaloza, Rafael; Marques-Silva, Joao 3 2016 MCS extraction with sublinear oracle queries. Zbl 06623521Mencía, Carlos; Ignatiev, Alexey; Previti, Alessandro; Marques-Silva, Joao 2 2016 Quantified maximum satisfiability. Zbl 1334.90075Ignatiev, Alexey; Janota, Mikoláš; Marques-Silva, Joao 1 2016 SAT-based formula simplification. Zbl 06512580Ignatiev, 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. 6 2014 On reducing maximum independent set to minimum satisfiability. Zbl 1423.68452Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao 2 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 48 Authors 6 Marques-Silva, João P. 4 Janota, Mikoláš 3 Ignatyev, Alexey A. 3 Mencía, Carlos 3 Peñaloza, Rafael 3 Semenov, Aleksandr Anatol’evich 2 Alves Rocha, Thiago 2 Beux, François 2 Martins Ferreira, Francicleber 2 Martins, Ana Teresa 2 Otpuschennikov, Ilya V. 2 Previti, Alessandro 2 Salvetti, Maria Vittoria 1 Bilanceri, Marco 1 Brown, Christopher W. 1 Buffat, Marc 1 Cadiou, Anne 1 Ceylan, İsmail İlkan 1 Clarke, Edmund Melson jun. 1 De Micheli, Giovanni 1 Egly, Uwe 1 Ehlers, Rüdiger 1 Fujita, Hiroshi 1 Gribanova, Irina 1 Haraguchi, Kazuya 1 Heule, Marijn J. H. 1 Klieber, William 1 Kochemazov, Stepan 1 Koshimura, Miyuki 1 Kučera, Petr 1 Le Penven, Lionel 1 Lonsing, Florian 1 Lynce, Inês 1 Manquinho, Vasco M. 1 Martins, Ruben 1 Meuli, Giulia 1 Neves, Miguel M. 1 Otpushchennikov, Il’ya Vladimirovich 1 Riener, Heinz 1 Savický, Petr 1 Schmitt, Bruno V. 1 Sertkaya, Barış 1 Sinibaldi, Edoardo 1 Thimm, Matthias 1 Vale-Enriquez, Fernando 1 Wallner, Johannes Peter 1 Zaikin, Oleg Sergeevich 1 Zha, Aolong all top 5 Cited in 13 Serials 4 Artificial Intelligence 2 Theoretical Computer Science 2 Constraints 1 Computers and Fluids 1 Journal of Computational Physics 1 Journal of Symbolic Computation 1 Journal of Automated Reasoning 1 Automation and Remote Control 1 The Journal of Artificial Intelligence Research (JAIR) 1 Journal of Heuristics 1 Flow, Turbulence and Combustion 1 Mathematics in Computer Science 1 Logical Methods in Computer Science all top 5 Cited in 7 Fields 20 Computer science (68-XX) 4 Operations research, mathematical programming (90-XX) 3 Fluid mechanics (76-XX) 2 Mathematical logic and foundations (03-XX) 1 Quantum theory (81-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year