Alexey Ignatiev's home page
About me
I am a postdoctoral researcher supervised by Joao Marques-Silva and a part of the Reason Lab at LASIGE, Department of Informatics (DI) of the Faculty of Science of the University of Lisbon. I received my Ph.D. from the Institute for System Dynamics and Control Theory SB RAS (Irkutsk, Russia), under the supervision of Alexander A. Semenov. My thesis was devoted to a parallel logical derivation strategy, which combined the DPLL algorithm with binary decision diagrams. Currently, my research is mainly focused on Boolean Satisfiability (SAT) and its generalizations: Maximum and Minimum Satisfiability (MaxSAT and MinSAT), and Quantified Maximum Satisfiability (QMaxSAT), which are the well-known optimization extensions of SAT and its quantified version.
Work: +351 217500087 Cell: +351 961518398 Email: Address: DI Ciencias ULisboa, C6, Piso 3, Campo Grande, 1749-016 Lisboa LASIGE, FCUL

Jun 25, 2016 13:15:16 WET