×

Ignatyev, Alexey A.

Compute Distance To:
Author ID: ignatyev.alexey-a Recent zbMATH articles by "Ignatyev, Alexey A."
Published as: Ignatiev, Alexey; Ignatyev, Alexey A.; Ignatyev, Alexey; Ignatiev, A.
Documents Indexed: 29 Publications since 1999
Co-Authors: 31 Co-Authors with 25 Joint Publications
573 Co-Co-Authors

Publications by Year

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.68215
Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
19
2018
A SAT-based approach to learn explainable decision sets. Zbl 06958127
Ignatiev, Alexey; Pereira, Filipe; Narodytska, Nina; Marques-Silva, Joao
12
2018
Progression in maximum satisfiability. Zbl 1366.68266
Ignatiev, 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.68368
Arif, 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.68452
Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
4
2014
Quantified maximum satisfiability: a core-guided approach. Zbl 1390.68598
Ignatiev, Alexey; Janota, Mikoláš; Marques-Silva, Joao
4
2013
Learning optimal decision sets and lists with SAT. Zbl 07470375
Yu, Jinqiang; Ignatiev, Alexey; Stuckey, Peter J.; Le Bodic, Pierre
3
2021
On computing the union of MUSes. Zbl 1441.68230
Mencía, Carlos; Kullmann, Oliver; Ignatiev, Alexey; Marques-Silva, Joao
3
2019
DRMaxSAT with MaxHS: first contact. Zbl 1441.68232
Morgado, Antonio; Ignatiev, Alexey; Bonet, Maria Luisa; Marques-Silva, Joao; Buss, Sam
3
2019
Assessing heuristic machine learning explanations with model counting. Zbl 1441.68211
Narodytska, 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.76019
Beux, 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.68368
Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
3
2017
Quantified maximum satisfiability. Zbl 1334.90075
Ignatiev, Alexey; Janota, Mikoláš; Marques-Silva, Joao
3
2016
MCS extraction with sublinear oracle queries. Zbl 1475.68220
Mencía, Carlos; Ignatiev, Alexey; Previti, Alessandro; Marques-Silva, Joao
3
2016
Efficient reasoning for inconsistent Horn formulae. Zbl 1483.68381
Marques-Silva, Joao; Ignatiev, Alexey; Mencía, Carlos; Peñaloza, Rafael
3
2016
Efficient symmetry breaking for SAT-based minimum DFA inference. Zbl 1425.68240
Zakirzyanov, Ilya; Morgado, Antonio; Ignatiev, Alexey; Ulyantsev, Vladimir; Marques-Silva, Joao
2
2019
SAT-based formula simplification. Zbl 1471.68245
Ignatiev, Alexey; Previti, Alessandro; Marques-Silva, Joao
2
2015
RC2: an efficient MaxSAT solver. Zbl 1484.68216
Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
1
2019
Maximal falsifiability. Definitions, algorithms, and applications. Zbl 1407.68453
Ignatiev, Alexey; Morgado, Antonio; Planes, Jordi; Marques-Silva, Joao
1
2013
DPLL+ROBDD derivation applied to inversion of some cryptographic functions. Zbl 1330.68270
Ignatiev, Alexey; Semenov, Alexander
1
2011
Learning optimal decision sets and lists with SAT. Zbl 07470375
Yu, Jinqiang; Ignatiev, Alexey; Stuckey, Peter J.; Le Bodic, Pierre
3
2021
On computing the union of MUSes. Zbl 1441.68230
Mencía, Carlos; Kullmann, Oliver; Ignatiev, Alexey; Marques-Silva, Joao
3
2019
DRMaxSAT with MaxHS: first contact. Zbl 1441.68232
Morgado, Antonio; Ignatiev, Alexey; Bonet, Maria Luisa; Marques-Silva, Joao; Buss, Sam
3
2019
Assessing heuristic machine learning explanations with model counting. Zbl 1441.68211
Narodytska, Nina; Shrotri, Aditya; Meel, Kuldeep S.; Ignatiev, Alexey; Marques-Silva, Joao
3
2019
Efficient symmetry breaking for SAT-based minimum DFA inference. Zbl 1425.68240
Zakirzyanov, Ilya; Morgado, Antonio; Ignatiev, Alexey; Ulyantsev, Vladimir; Marques-Silva, Joao
2
2019
RC2: an efficient MaxSAT solver. Zbl 1484.68216
Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
1
2019
PySAT: a Python toolkit for prototyping with SAT oracles. Zbl 1484.68215
Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
19
2018
A SAT-based approach to learn explainable decision sets. Zbl 06958127
Ignatiev, Alexey; Pereira, Filipe; Narodytska, Nina; Marques-Silva, Joao
12
2018
On tackling the limits of resolution in SAT solving. Zbl 1496.68368
Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
3
2017
BEACON: an efficient SAT-based tool for debugging \(\mathcal {EL}^+\) ontologies. Zbl 1475.68368
Arif, M. Fareed; Mencía, Carlos; Ignatiev, Alexey; Manthey, Norbert; Peñaloza, Rafael; Marques-Silva, Joao
5
2016
Quantified maximum satisfiability. Zbl 1334.90075
Ignatiev, Alexey; Janota, Mikoláš; Marques-Silva, Joao
3
2016
MCS extraction with sublinear oracle queries. Zbl 1475.68220
Mencía, Carlos; Ignatiev, Alexey; Previti, Alessandro; Marques-Silva, Joao
3
2016
Efficient reasoning for inconsistent Horn formulae. Zbl 1483.68381
Marques-Silva, Joao; Ignatiev, Alexey; Mencía, Carlos; Peñaloza, Rafael
3
2016
SAT-based formula simplification. Zbl 1471.68245
Ignatiev, Alexey; Previti, Alessandro; Marques-Silva, Joao
2
2015
Progression in maximum satisfiability. Zbl 1366.68266
Ignatiev, A.; Morgado, A.; Manquinho, V.; Lynce, I.; Marques-Silva, J.
8
2014
On reducing maximum independent set to minimum satisfiability. Zbl 1423.68452
Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
4
2014
Quantified maximum satisfiability: a core-guided approach. Zbl 1390.68598
Ignatiev, Alexey; Janota, Mikoláš; Marques-Silva, Joao
4
2013
Maximal falsifiability. Definitions, algorithms, and applications. Zbl 1407.68453
Ignatiev, Alexey; Morgado, Antonio; Planes, Jordi; Marques-Silva, Joao
1
2013
DPLL+ROBDD derivation applied to inversion of some cryptographic functions. Zbl 1330.68270
Ignatiev, Alexey; Semenov, Alexander
1
2011
A numerical study of non-cavitating and cavitating liquid flow around a hydrofoil. Zbl 1130.76019
Beux, François; Salvetti, Maria-Vittoria; Ignatyev, Alexey; Li, Ding; Merkle, Charles; Sinibaldi, Edoardo
3
2005
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

Citations by Year