Antonio Morgado

Page Under Construction.

  • Post-Doc
  • SAT Team - CASL - CSI
  • University College Dublin

Recent work

Some of my recent work:

MCS Enumeration
  • A.Morgado, M.Liffiton, J.Marques-Silva, “MaxSAT-based MCS Enumeration”, Haifa Verification Conference (HVC'12), 2012, Preprint


A list of some of the papers i participated is available in DBLP.


Email: ajrm @ ucd . ie

Phone: +353 (0)1 716 5352

antonio.morgado.txt · Last modified: 2013/05/26 15:42 by ajrm
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki