A. Previti
AuthID: R-006-ED6
11
TÃTULO: SAT-Based Formula Simplification
AUTORES: Alexey Ignatiev; Alessandro Previti; Joao Marques-Silva;
PUBLICAÇÃO: 2015, FONTE: Lecture Notes in Computer Science - Theory and Applications of Satisfiability Testing -- SAT 2015
AUTORES: Alexey Ignatiev; Alessandro Previti; Joao Marques-Silva;
PUBLICAÇÃO: 2015, FONTE: Lecture Notes in Computer Science - Theory and Applications of Satisfiability Testing -- SAT 2015
INDEXADO EM: 
CrossRef
CrossRef12
TÃTULO: SAT-Based Formula Simplification
AUTORES: Alexey Ignatiev; Alessandro Previti; Joao Marques Silva ;
PUBLICAÇÃO: 2015, FONTE: Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings, VOLUME: 9340
AUTORES: Alexey Ignatiev; Alessandro Previti; Joao Marques Silva ;
PUBLICAÇÃO: 2015, FONTE: Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings, VOLUME: 9340
INDEXADO EM: 
DBLP
DBLP13
TÃTULO: SAT-Based Formula Simplification
AUTORES: Alexey Ignatiev; Alessandro Previti; Joao Marques Silva;
PUBLICAÇÃO: 2015, FONTE: Theory and Applications of Satisfiability Testing -- SAT 2015
AUTORES: Alexey Ignatiev; Alessandro Previti; Joao Marques Silva;
PUBLICAÇÃO: 2015, FONTE: Theory and Applications of Satisfiability Testing -- SAT 2015
INDEXADO EM: 
Unpaywall
Unpaywall14
TÃTULO: On Computing Preferred MUSes and MCSes
AUTORES: Joao Marques-Silva; Alessandro Previti;
PUBLICAÇÃO: 2014, FONTE: Lecture Notes in Computer Science - Theory and Applications of Satisfiability Testing – SAT 2014
AUTORES: Joao Marques-Silva; Alessandro Previti;
PUBLICAÇÃO: 2014, FONTE: Lecture Notes in Computer Science - Theory and Applications of Satisfiability Testing – SAT 2014
INDEXADO EM: CrossRef
CrossRef15
TÃTULO: On Computing Minimal Correction Subsets
AUTORES: João Marques Silva ; Federico Heras; Mikolás Janota; Alessandro Previti; Anton Belov;
PUBLICAÇÃO: 2013, FONTE: 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 in IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013
AUTORES: João Marques Silva ; Federico Heras; Mikolás Janota; Alessandro Previti; Anton Belov;
PUBLICAÇÃO: 2013, FONTE: 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 in IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013
INDEXADO EM: 
Scopus DBLP
Scopus DBLP16
TÃTULO: Partial MUS Enumeration
AUTORES: Alessandro Previti; João Marques Silva ;
PUBLICAÇÃO: 2013, FONTE: 27th AAAI Conference on Artificial Intelligence, AAAI 2013 in Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, USA.
AUTORES: Alessandro Previti; João Marques Silva ;
PUBLICAÇÃO: 2013, FONTE: 27th AAAI Conference on Artificial Intelligence, AAAI 2013 in Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, USA.
INDEXADO EM: Scopus DBLP
Scopus DBLP