A. Previti
AuthID: R-006-ED6
11
TITLE: SAT-Based Formula Simplification
AUTHORS: Alexey Ignatiev; Alessandro Previti; Joao Marques-Silva;
PUBLISHED: 2015, SOURCE: Lecture Notes in Computer Science - Theory and Applications of Satisfiability Testing -- SAT 2015
AUTHORS: Alexey Ignatiev; Alessandro Previti; Joao Marques-Silva;
PUBLISHED: 2015, SOURCE: Lecture Notes in Computer Science - Theory and Applications of Satisfiability Testing -- SAT 2015
INDEXED IN: 
CrossRef
CrossRef12
TITLE: SAT-Based Formula Simplification
AUTHORS: Alexey Ignatiev; Alessandro Previti; Joao Marques Silva ;
PUBLISHED: 2015, SOURCE: Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings, VOLUME: 9340
AUTHORS: Alexey Ignatiev; Alessandro Previti; Joao Marques Silva ;
PUBLISHED: 2015, SOURCE: Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings, VOLUME: 9340
INDEXED IN: 
DBLP
DBLP13
TITLE: SAT-Based Formula Simplification
AUTHORS: Alexey Ignatiev; Alessandro Previti; Joao Marques Silva;
PUBLISHED: 2015, SOURCE: Theory and Applications of Satisfiability Testing -- SAT 2015
AUTHORS: Alexey Ignatiev; Alessandro Previti; Joao Marques Silva;
PUBLISHED: 2015, SOURCE: Theory and Applications of Satisfiability Testing -- SAT 2015
INDEXED IN: 
Unpaywall
Unpaywall14
TITLE: On Computing Preferred MUSes and MCSes
AUTHORS: Joao Marques-Silva; Alessandro Previti;
PUBLISHED: 2014, SOURCE: Lecture Notes in Computer Science - Theory and Applications of Satisfiability Testing – SAT 2014
AUTHORS: Joao Marques-Silva; Alessandro Previti;
PUBLISHED: 2014, SOURCE: Lecture Notes in Computer Science - Theory and Applications of Satisfiability Testing – SAT 2014
INDEXED IN: CrossRef
CrossRef15
TITLE: On Computing Minimal Correction Subsets
AUTHORS: João Marques Silva ; Federico Heras; Mikolás Janota; Alessandro Previti; Anton Belov;
PUBLISHED: 2013, SOURCE: 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
AUTHORS: João Marques Silva ; Federico Heras; Mikolás Janota; Alessandro Previti; Anton Belov;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: 
Scopus DBLP
Scopus DBLP16
TITLE: Partial MUS Enumeration
AUTHORS: Alessandro Previti; João Marques Silva ;
PUBLISHED: 2013, SOURCE: 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.
AUTHORS: Alessandro Previti; João Marques Silva ;
PUBLISHED: 2013, SOURCE: 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.
INDEXED IN: Scopus DBLP
Scopus DBLP