Department of Information Technology

Research

My focus is Constraint Programming. I am currently interested in deriving implied constraints for AUTOMATON constraints (for more information see: Global Constraints).

Publications

  • [ABDFFPS16] E. Arafailova, N. Beldiceanu, R. Douence, P. Flener, M. A. Francisco Rodriguez, J. Pearson, and H. Simonis. Time-series constraints: Improvements and application in CP and MIP contexts. In: C.-G. Quimper (editor), CP-AI-OR 2016. Lecture Notes in Computer Science, volume 9676. © Springer, forthcoming. (Preprint)
  • [FFP15] M. A. Francisco Rodríguez, P. Flener, and J. Pearson. Implied constraints for AUTOMATON constraints. In: G. Gottlob, G. Sutcliffe, and A. Voronkov (editors), GCAI 2015. EasyChair Proceedings in Computing, volume 36, pages 113-126, 2015. (PDF)
  • [BCFFP14] N. Beldiceanu, M. Carlsson, P. Flener, M. A. Francisco Rodriguez, and J. Pearson. Linking prefixes and suffixes for constraints encoded using automata with accumulators. In: B. O'Sullivan (editor), CP 2014, pages 142-157. Lecture Notes in Computer Science, volume 8656. © Springer, 2014. (PDF) (Preprint)
  • [FFP13] M. A. Francisco Rodriguez, P. Flener, and J. Pearson. Generation of implied constraints for automaton-induced decompositions. In: É. Grégoire and B. Mazure (editors), ICTAI/CSP 2013, the special track on SAT and CSP technologies of the 25th IEEE International Conference on Tools with Artificial Intelligence, pages 1076-1083. IEEE Computer Society, 2013. (PDF) (Preprint) (Slides)
  • [FFP11] M. A. Francisco Rodriguez, P. Flener, and J. Pearson. Consistency of constraint networks induced by automaton-based constraint specifications. In: A. Rendl and Ch. Beck (editors), ModRef 2011, the 10th International Workshop on Constraint Modelling and Reformulation, held at CP 2011, 2011. (Preprint)

More Information

For more information, please visit my LinkedIn page

Updated  2016-05-09 10:24:45 by Maria Andreina Francisco Rodriguez.