BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Finland
1 × India
2 × USA
Collaborated with:
J.Marques-Silva M.Janota A.Semenov A.Previti A.Morgado F.Pereira N.Narodytska J.M.0001
Talks about:
approach (2) satisfi (2) maximum (2) base (2) set (2) sat (2) cryptograph (1) quantifi (1) independ (1) function (1)

Person: Alexey Ignatiev

DBLP DBLP: Ignatiev:Alexey

Contributed to:

SAT 20152015
ICSE 20142014
SAT 20142014
SAT 20132013
SAT 20112011
IJCAR 20182018

Wrote 6 papers:

SAT-2015-IgnatievPM #satisfiability
SAT-Based Formula Simplification (AI, AP, JMS), pp. 287–298.
ICSE-2014-IgnatievJM #optimisation #performance #towards
Towards efficient optimization in package management systems (AI, MJ, JMS), pp. 745–755.
SAT-2014-IgnatievMM #independence #on the #satisfiability #set
On Reducing Maximum Independent Set to Minimum Satisfiability (AI, AM, JMS), pp. 103–120.
SAT-2013-IgnatievJM #approach #quantifier #satisfiability
Quantified Maximum Satisfiability: — A Core-Guided Approach (AI, MJ, JMS), pp. 250–266.
SAT-2011-IgnatievS #encryption
DPLL+ROBDD Derivation Applied to Inversion of Some Cryptographic Functions (AI, AS), pp. 76–89.
IJCAR-2018-IgnatievPNM #approach #satisfiability #set
A SAT-Based Approach to Learn Explainable Decision Sets (AI, FP, NN, JMS0), pp. 627–645.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.