×

Ignatyev, Alexey A.

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: 31 Publications since 1999
Co-Authors: 33 Co-Authors with 26 Joint Publications
675 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

22 Publications have been cited 140 times in 98 Documents Cited by Year
PySAT: a Python toolkit for prototyping with SAT oracles. Zbl 1484.68215
Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
27
2018
A SAT-based approach to learn explainable decision sets. Zbl 1511.68249
Ignatiev, Alexey; Pereira, Filipe; Narodytska, Nina; Marques-Silva, Joao
16
2018
RC2: an efficient MaxSAT solver. Zbl 1484.68216
Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
12
2019
Assessing heuristic machine learning explanations with model counting. Zbl 1441.68211
Narodytska, Nina; Shrotri, Aditya; Meel, Kuldeep S.; Ignatiev, Alexey; Marques-Silva, Joao
8
2019
Progression in maximum satisfiability. Zbl 1366.68266
Ignatiev, A.; Morgado, A.; Manquinho, V.; Lynce, I.; Marques-Silva, J.
8
2014
Quantified maximum satisfiability. Zbl 1334.90075
Ignatiev, Alexey; Janota, Mikoláš; Marques-Silva, Joao
6
2016
On tackling the limits of resolution in SAT solving. Zbl 1496.68368
Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
6
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
6
2016
Learning optimal decision sets and lists with SAT. Zbl 1522.68489
Yu, Jinqiang; Ignatiev, Alexey; Stuckey, Peter J.; Le Bodic, Pierre
6
2021
Quantified maximum satisfiability: a core-guided approach. Zbl 1390.68598
Ignatiev, Alexey; Janota, Mikoláš; Marques-Silva, Joao
5
2013
MCS extraction with sublinear oracle queries. Zbl 1475.68220
Mencía, Carlos; Ignatiev, Alexey; Previti, Alessandro; Marques-Silva, Joao
5
2016
On tackling explanation redundancy in decision trees. Zbl 07603113
Izza, Yacine; Ignatiev, Alexey; Marques-Silva, Joao
4
2022
SAT-based rigorous explanations for decision lists. Zbl 07495578
Ignatiev, Alexey; Marques-Silva, Joao
4
2021
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
4
2005
On reducing maximum independent set to minimum satisfiability. Zbl 1423.68452
Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
4
2014
On computing the union of MUSes. Zbl 1441.68230
Mencía, Carlos; Kullmann, Oliver; Ignatiev, Alexey; Marques-Silva, Joao
4
2019
Efficient reasoning for inconsistent Horn formulae. Zbl 1483.68381
Marques-Silva, Joao; Ignatiev, Alexey; Mencía, Carlos; Peñaloza, Rafael
4
2016
DRMaxSAT with MaxHS: first contact. Zbl 1441.68232
Morgado, Antonio; Ignatiev, Alexey; Bonet, Maria Luisa; Marques-Silva, Joao; Buss, Sam
3
2019
Maximal falsifiability. Definitions, algorithms, and applications. Zbl 1407.68453
Ignatiev, Alexey; Morgado, Antonio; Planes, Jordi; Marques-Silva, Joao
2
2013
DPLL+ROBDD derivation applied to inversion of some cryptographic functions. Zbl 1330.68270
Ignatiev, Alexey; Semenov, Alexander
2
2011
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
On tackling explanation redundancy in decision trees. Zbl 07603113
Izza, Yacine; Ignatiev, Alexey; Marques-Silva, Joao
4
2022
Learning optimal decision sets and lists with SAT. Zbl 1522.68489
Yu, Jinqiang; Ignatiev, Alexey; Stuckey, Peter J.; Le Bodic, Pierre
6
2021
SAT-based rigorous explanations for decision lists. Zbl 07495578
Ignatiev, Alexey; Marques-Silva, Joao
4
2021
RC2: an efficient MaxSAT solver. Zbl 1484.68216
Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
12
2019
Assessing heuristic machine learning explanations with model counting. Zbl 1441.68211
Narodytska, Nina; Shrotri, Aditya; Meel, Kuldeep S.; Ignatiev, Alexey; Marques-Silva, Joao
8
2019
On computing the union of MUSes. Zbl 1441.68230
Mencía, Carlos; Kullmann, Oliver; Ignatiev, Alexey; Marques-Silva, Joao
4
2019
DRMaxSAT with MaxHS: first contact. Zbl 1441.68232
Morgado, Antonio; Ignatiev, Alexey; Bonet, Maria Luisa; Marques-Silva, Joao; Buss, Sam
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
PySAT: a Python toolkit for prototyping with SAT oracles. Zbl 1484.68215
Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
27
2018
A SAT-based approach to learn explainable decision sets. Zbl 1511.68249
Ignatiev, Alexey; Pereira, Filipe; Narodytska, Nina; Marques-Silva, Joao
16
2018
On tackling the limits of resolution in SAT solving. Zbl 1496.68368
Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
6
2017
Quantified maximum satisfiability. Zbl 1334.90075
Ignatiev, Alexey; Janota, Mikoláš; Marques-Silva, Joao
6
2016
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
6
2016
MCS extraction with sublinear oracle queries. Zbl 1475.68220
Mencía, Carlos; Ignatiev, Alexey; Previti, Alessandro; Marques-Silva, Joao
5
2016
Efficient reasoning for inconsistent Horn formulae. Zbl 1483.68381
Marques-Silva, Joao; Ignatiev, Alexey; Mencía, Carlos; Peñaloza, Rafael
4
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
5
2013
Maximal falsifiability. Definitions, algorithms, and applications. Zbl 1407.68453
Ignatiev, Alexey; Morgado, Antonio; Planes, Jordi; Marques-Silva, Joao
2
2013
DPLL+ROBDD derivation applied to inversion of some cryptographic functions. Zbl 1330.68270
Ignatiev, Alexey; Semenov, Alexander
2
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
4
2005
all top 5

Cited by 250 Authors

13 Marques-Silva, João P.
10 Ignatyev, Alexey A.
5 Janota, Mikoláš
4 Habet, Djamal
4 Peñaloza, Rafael
3 Beux, François
3 Cherif, Mohamed Sami
3 Martins, Ruben
3 Mencía, Carlos
3 Morgado, António
3 Salvetti, Maria Vittoria
3 Semenov, Aleksandr Anatol’evich
3 Stuckey, Peter James
3 Szeider, Stefan
2 Alves Rocha, Thiago
2 Bendík, Jaroslav
2 Berg, Jeremias
2 Carrizosa, Emilio
2 Coll, Jordi
2 Cooper, Martin C.
2 Izza, Yacine
2 Järvisalo, Matti
2 Joshi, Saurabh
2 Kochemazov, Stepan
2 Kučera, Petr
2 Li, Chumin
2 Lynce, Inês
2 Manquinho, Vasco M.
2 Manyà, Felip
2 Martins Ferreira, Francicleber
2 Martins, Ana Teresa
2 Meel, Kuldeep S.
2 Molero-Río, Cristina
2 Otpuschennikov, Ilya V.
2 Previti, Alessandro
2 Py, Matthieu
2 Romero Morales, Dolores
2 Sinibaldi, Edoardo
2 Vardi, Moshe Ya’akov
1 Abramé, André
1 Albini, Emanuele
1 Alviano, Mario
1 Amgoud, Leila
1 Ansótegui, Carlos
1 Arif, Umair
1 Atserias, Albert
1 Auricchio, Gennaro
1 Aydin Gol, Ebru
1 Bandyapadhyay, Sayan
1 Baroni, Pietro
1 Barrett, Clark W.
1 Benhamou, Belaid
1 Benkoczi, Robert R.
1 Bidoit, Nicole
1 Bierlee, Hendrik
1 Bilanceri, Marco
1 Blanquero, Rafael
1 Bogaerts, Bart
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, Samuel R.
1 Cadiou, Anne
1 Carmona, Josep
1 Černá, Ivana
1 Ceylan, İsmail İlkan
1 Chakraborty, Supratik
1 Chan, Jeffrey
1 Chatain, Thomas
1 Chen, Chaofan
1 Chen, Guangke
1 Chen, Taolue
1 Chen, Zeyu
1 Chen, Zhi
1 Clarke, Edmund Melson jun.
1 Coenen, Norine
1 Cohen, Eldan
1 Dachselt, Raimund
1 Darwiche, Adnan
1 De Micheli, Giovanni
1 De Raedt, Luc
1 De Wulf, Wolf
1 Dekker, Jip J.
1 Demirović, Emir
1 Donovick, Caleb
1 Dou, Dejing
1 Egly, Uwe
1 Ehlers, Rüdiger
1 Eiter, Thomas
1 Fargier, Hélène
1 Ferrarini, Luca
1 Filmus, Yuval
1 Finkbeiner, Bernd
1 Fiorino, Guido
1 Fomin, Fedor V.
1 Frenkel, Hadar
...and 150 more Authors

Citations by Year