Federico Heras
AuthID: R-00F-VCP
1
TÃTULO: MaxSAT-based encodings for Group MaxSAT Full Text
AUTORES: Heras, F; Morgado, António ; Marques Sliva, J ;
PUBLICAÇÃO: 2015, FONTE: AI COMMUNICATIONS, VOLUME: 28, NÚMERO: 2
AUTORES: Heras, F; Morgado, António ; Marques Sliva, J ;
PUBLICAÇÃO: 2015, FONTE: AI COMMUNICATIONS, VOLUME: 28, NÚMERO: 2
2
TÃTULO: Iterative and core-guided MaxSAT solving: A survey and assessment Full Text
AUTORES: Morgado, António ; Heras, F; Liffiton, M; Planes, J; Marques Silva, J ;
PUBLICAÇÃO: 2013, FONTE: CONSTRAINTS, VOLUME: 18, NÚMERO: 4
AUTORES: Morgado, António ; Heras, F; Liffiton, M; Planes, J; Marques Silva, J ;
PUBLICAÇÃO: 2013, FONTE: CONSTRAINTS, VOLUME: 18, NÚMERO: 4
3
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 DBLP4
TÃTULO: Model-Guided Approaches for MaxSAT Solving
AUTORES: Morgado, António ; Heras, F; Marques Silva, J ;
PUBLICAÇÃO: 2013, FONTE: 2013 IEEE 25TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI)
AUTORES: Morgado, António ; Heras, F; Marques Silva, J ;
PUBLICAÇÃO: 2013, FONTE: 2013 IEEE 25TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI)
5
TÃTULO: Improvements to Core-Guided Binary Search for MaxSAT
AUTORES: Morgado, António ; Federico Heras; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012 in Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings, VOLUME: 7317
AUTORES: Morgado, António ; Federico Heras; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012 in Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings, VOLUME: 7317
6
TÃTULO: An Empirical Study of Encodings for Group MaxSAT
AUTORES: Federico Heras; Morgado, António ; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: 25th Canadian Conference on Artificial Intelligence, AI 2012 in Advances in Artificial Intelligence - 25th Canadian Conference on Artificial Intelligence, Canadian AI 2012, Toronto, ON, Canada, May 28-30, 2012. Proceedings, VOLUME: 7310
AUTORES: Federico Heras; Morgado, António ; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: 25th Canadian Conference on Artificial Intelligence, AI 2012 in Advances in Artificial Intelligence - 25th Canadian Conference on Artificial Intelligence, Canadian AI 2012, Toronto, ON, Canada, May 28-30, 2012. Proceedings, VOLUME: 7310
7
TÃTULO: Lower Bounds and Upper Bounds for MaxSAT
AUTORES: Federico Heras; Morgado, António ; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: 6th International Conference on Learning and Intelligent Optimization, LION 6 in Learning and Intelligent Optimization - 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers, VOLUME: 7219
AUTORES: Federico Heras; Morgado, António ; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: 6th International Conference on Learning and Intelligent Optimization, LION 6 in Learning and Intelligent Optimization - 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers, VOLUME: 7219
8
TÃTULO: Iterative SAT Solving for Minimum Satisfiability
AUTORES: Heras, F; Morgado, António ; Planes, J; Marques Silva, J ;
PUBLICAÇÃO: 2012, FONTE: IEEE 24th International Conference on Tools with Artificial Intelligence (ICTAI) in 2012 IEEE 24TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2012), VOL 1, VOLUME: 1
AUTORES: Heras, F; Morgado, António ; Planes, J; Marques Silva, J ;
PUBLICAÇÃO: 2012, FONTE: IEEE 24th International Conference on Tools with Artificial Intelligence (ICTAI) in 2012 IEEE 24TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2012), VOL 1, VOLUME: 1
9
TÃTULO: Core-Guided Binary Search Algorithms for Maximum Satisfiability
AUTORES: Federico Heras; Morgado, António ; João Marques Silva ;
PUBLICAÇÃO: 2011, FONTE: 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11 in Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011, VOLUME: 1
AUTORES: Federico Heras; Morgado, António ; João Marques Silva ;
PUBLICAÇÃO: 2011, FONTE: 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11 in Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011, VOLUME: 1
INDEXADO EM: Scopus DBLP
Scopus DBLP10
TÃTULO: Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms
AUTORES: Federico Heras; João Marques Silva ;
PUBLICAÇÃO: 2011, FONTE: IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011
AUTORES: Federico Heras; João Marques Silva ;
PUBLICAÇÃO: 2011, FONTE: IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011
INDEXADO EM: Scopus DBLP
Scopus DBLP