The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Alexey Ignatiev" ( http://dblp.L3S.de/Authors/Alexey_Ignatiev )

URL (Homepage):  https://orcid.org/0000-0002-4535-2902  Author page on DBLP  Author page in RDF  Community of Alexey Ignatiev in ASPL-2

Publication years (Num. hits)
2011-2016 (21) 2017-2018 (16) 2019 (1)
Publication types (Num. hits)
article(9) inproceedings(29)
Venues (Conferences, Journals, ...)
SAT(8) CoRR(6) IJCAI(4) CP(3) ECAI(3) AAAI(2) AI Commun.(1) Constraints(1) Description Logics(1) EPIA(1) ESWC (1)(1) ICSE(1) ICTAI(1) IJCAR(1) JELIA(1) JSAT(1) More (+10 of total 18)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 39 publication records. Showing 38 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ilya Zakirzyanov, António Morgado, Alexey Ignatiev, Vladimir Ulyantsev, João Marques-Silva Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference. Search on Bibsonomy LATA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alexander A. Semenov, Oleg Zaikin 0002, Ilya V. Otpuschennikov, Stepan Kochemazov, Alexey Ignatiev On Cryptographic Attacks Using Backdoors for SAT. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Alexey Ignatiev, Nina Narodytska, João Marques-Silva Abduction-Based Explanations for Machine Learning Models. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, João Marques-Silva, António Morgado MaxSAT Resolution With the Dual Rail Encoding. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Alexander A. Semenov, Oleg Zaikin 0002, Ilya V. Otpuschennikov, Stepan Kochemazov, Alexey Ignatiev On Cryptographic Attacks Using Backdoors for SAT. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Alexey Ignatiev, Filipe Pereira, Nina Narodytska, João Marques-Silva A SAT-Based Approach to Learn Explainable Decision Sets. Search on Bibsonomy IJCAR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexey Ignatiev, António Morgado, João Marques-Silva PySAT: A Python Toolkit for Prototyping with SAT Oracles. Search on Bibsonomy SAT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nina Narodytska, Alexey Ignatiev, Filipe Pereira, João Marques-Silva Learning Optimal Decision Trees with SAT. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexey Ignatiev, António Morgado, João Marques-Silva On Tackling the Limits of Resolution in SAT Solving. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Alexey Ignatiev, António Morgado, João Marques-Silva Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1João Marques-Silva, Alexey Ignatiev, António Morgado Horn Maximum Satisfiability: Reductions, Algorithms & Applications. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Alessandro Previti, Alexey Ignatiev, Matti Järvisalo, João Marques-Silva On Computing Generalized Backbones. Search on Bibsonomy ICTAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rafael Peñaloza, Carlos Mencía, Alexey Ignatiev, João Marques-Silva Lean Kernels in Description Logics. Search on Bibsonomy ESWC (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alexey Ignatiev, João Marques-Silva, Carlos Mencía, Rafael Peñaloza Debugging EL+ Ontologies through Horn MUS Enumeration. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Alexey Ignatiev, António Morgado, João Marques-Silva On Tackling the Limits of Resolution in SAT Solving. Search on Bibsonomy SAT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1João Marques-Silva, Alexey Ignatiev, António Morgado Horn Maximum Satisfiability: Reductions, Algorithms and Applications. Search on Bibsonomy EPIA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alexey Ignatiev, António Morgado, João Marques-Silva Cardinality Encodings for Graph Optimization Problems. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alexey Ignatiev, António Morgado, Jordi Planes, João Marques-Silva Maximal falsifiability. Search on Bibsonomy AI Commun. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexey Ignatiev, Mikolás Janota, João Marques-Silva Quantified maximum satisfiability. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexey Ignatiev, António Morgado, João Marques-Silva Propositional Abduction with Implicit Hitting Sets. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1João Marques-Silva, Alexey Ignatiev, Carlos Mencía, Rafael Peñaloza Efficient Reasoning for Inconsistent Horn Formulae. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexey Ignatiev, Alessandro Previti, João Marques-Silva On Finding Minimum Satisfying Assignments. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Xujie Si, Xin Zhang, Vasco M. Manquinho, Mikolás Janota, Alexey Ignatiev, Mayur Naik On Incremental Core-Guided MaxSAT Solving. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Carlos Mencía, Alexey Ignatiev, Alessandro Previti, João Marques-Silva MCS Extraction with Sublinear Oracle Queries. Search on Bibsonomy SAT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1M. Fareed Arif, Carlos Mencía, Alexey Ignatiev, Norbert Manthey, Rafael Peñaloza, João Marques-Silva BEACON: An Efficient SAT-Based Tool for Debugging EL^+ Ontologies. Search on Bibsonomy SAT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexey Ignatiev, António Morgado, João Marques-Silva Propositional Abduction with Implicit Hitting Sets. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexey Ignatiev, Alessandro Previti, Mark H. Liffiton, João Marques-Silva Smallest MUS Extraction with Minimal Hitting Set Dualization. Search on Bibsonomy CP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alexey Ignatiev, Alessandro Previti, João Marques-Silva SAT-Based Formula Simplification. Search on Bibsonomy SAT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1João Marques-Silva, Mikolás Janota, Alexey Ignatiev, António Morgado Efficient Model Based Diagnosis with Maximum Satisfiability. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Alessandro Previti, Alexey Ignatiev, António Morgado, João Marques-Silva Prime Compilation of Non-Clausal Formulae. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1António Morgado, Alexey Ignatiev, João Marques-Silva MSCG: Robust Core-Guided MaxSAT Solving. Search on Bibsonomy JSAT The full citation details ... 2014 DBLP  BibTeX  RDF
1Alexey Ignatiev, António Morgado, João Marques-Silva On Reducing Maximum Independent Set to Minimum Satisfiability. Search on Bibsonomy SAT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alexey Ignatiev, António Morgado, Vasco M. Manquinho, Inês Lynce, João Marques-Silva Progression in Maximum Satisfiability. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1João Marques-Silva, Alexey Ignatiev, António Morgado, Vasco M. Manquinho, Inês Lynce Efficient Autarkies. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alexey Ignatiev, Mikolás Janota, João Marques-Silva Towards efficient optimization in package management systems. Search on Bibsonomy ICSE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alexey Ignatiev, António Morgado, Jordi Planes, João Marques-Silva Maximal Falsifiability - Definitions, Algorithms, and Applications. Search on Bibsonomy LPAR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alexey Ignatiev, Mikolás Janota, João Marques-Silva Quantified Maximum Satisfiability: - A Core-Guided Approach. Search on Bibsonomy SAT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alexey Ignatiev, Alexander A. Semenov DPLL+ROBDD Derivation Applied to Inversion of Some Cryptographic Functions. Search on Bibsonomy SAT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #38 of 38 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license