×

zbMATH — the first resource for mathematics

Ignatyev, Alexey A.

Compute Distance To:
Author ID: ignatyev.alexey-a Recent zbMATH articles by "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

Publications by Year

Citations contained in zbMATH

16 Publications have been cited 37 times in 25 Documents Cited by Year
Progression in maximum satisfiability. Zbl 1366.68266
Ignatiev, A.; Morgado, A.; Manquinho, V.; Lynce, I.; Marques-Silva, J.
6
2014
PySAT: A Python toolkit for prototyping with SAT oracles. Zbl 06916321
Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
4
2018
Quantified maximum satisfiability: a core-guided approach. Zbl 1390.68598
Ignatiev, Alexey; Janota, Mikoláš; Marques-Silva, Joao
4
2013
Efficient reasoning for inconsistent Horn formulae. Zbl 06658170
Marques-Silva, Joao; Ignatiev, Alexey; Mencía, Carlos; Peñaloza, Rafael
3
2016
BEACON: an efficient SAT-based tool for debugging \({\mathcal {EL}}{^+}\) ontologies. Zbl 06623532
Arif, 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.76019
Beux, 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 06958127
Ignatiev, Alexey; Pereira, Filipe; Narodytska, Nina; Marques-Silva, Joao
2
2018
MCS extraction with sublinear oracle queries. Zbl 06623521
Mencía, Carlos; Ignatiev, Alexey; Previti, Alessandro; Marques-Silva, Joao
2
2016
SAT-based formula simplification. Zbl 06512580
Ignatiev, Alexey; Previti, Alessandro; Marques-Silva, Joao
2
2015
On reducing maximum independent set to minimum satisfiability. Zbl 1423.68452
Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
2
2014
DRMaxSAT with MaxHS: first contact. Zbl 1441.68232
Morgado, Antonio; Ignatiev, Alexey; Bonet, Maria Luisa; Marques-Silva, Joao; Buss, Sam
1
2019
Efficient symmetry breaking for SAT-based minimum DFA inference. Zbl 1425.68240
Zakirzyanov, Ilya; Morgado, Antonio; Ignatiev, Alexey; Ulyantsev, Vladimir; Marques-Silva, Joao
1
2019
On tackling the limits of resolution in SAT solving. Zbl 06807225
Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
1
2017
Quantified maximum satisfiability. Zbl 1334.90075
Ignatiev, Alexey; Janota, Mikoláš; Marques-Silva, Joao
1
2016
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
DRMaxSAT with MaxHS: first contact. Zbl 1441.68232
Morgado, Antonio; Ignatiev, Alexey; Bonet, Maria Luisa; Marques-Silva, Joao; Buss, Sam
1
2019
Efficient symmetry breaking for SAT-based minimum DFA inference. Zbl 1425.68240
Zakirzyanov, Ilya; Morgado, Antonio; Ignatiev, Alexey; Ulyantsev, Vladimir; Marques-Silva, Joao
1
2019
PySAT: A Python toolkit for prototyping with SAT oracles. Zbl 06916321
Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
4
2018
A SAT-based approach to learn explainable decision sets. Zbl 06958127
Ignatiev, Alexey; Pereira, Filipe; Narodytska, Nina; Marques-Silva, Joao
2
2018
On tackling the limits of resolution in SAT solving. Zbl 06807225
Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
1
2017
Efficient reasoning for inconsistent Horn formulae. Zbl 06658170
Marques-Silva, Joao; Ignatiev, Alexey; Mencía, Carlos; Peñaloza, Rafael
3
2016
BEACON: an efficient SAT-based tool for debugging \({\mathcal {EL}}{^+}\) ontologies. Zbl 06623532
Arif, M. Fareed; Mencía, Carlos; Ignatiev, Alexey; Manthey, Norbert; Peñaloza, Rafael; Marques-Silva, Joao
3
2016
MCS extraction with sublinear oracle queries. Zbl 06623521
Mencía, Carlos; Ignatiev, Alexey; Previti, Alessandro; Marques-Silva, Joao
2
2016
Quantified maximum satisfiability. Zbl 1334.90075
Ignatiev, Alexey; Janota, Mikoláš; Marques-Silva, Joao
1
2016
SAT-based formula simplification. Zbl 06512580
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.
6
2014
On reducing maximum independent set to minimum satisfiability. Zbl 1423.68452
Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
2
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

Citations by Year