Constraint Programming with Arbitrarily Large Integer Variables.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010
Functional Test Generation with Distribution Constraints.
Proceedings of the Hardware and Software: Verification and Testing, 2009
Approximation Algorithms for Constrained Node Weighted Steiner Tree Problems.
SIAM J. Comput., 2007
Constraint Patterns and Search Procedures for CP-Based Random Test Generation.
Proceedings of the Hardware and Software: Verification and Testing, 2007
CP with Architectural State Lookup for Functional Test Generation.
Proceedings of the Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, 2006
Approximation algorithms for constrained for constrained node weighted steiner tree problems.
Proceedings of the Proceedings on 33rd Annual ACM Symposium on Theory of Computing, 2001
High profit for low cost : approximation algorithms in node-weighted graphs.
PhD thesis, 2000
The Budgeted Maximum Coverage Problem.
Inf. Process. Lett., 1999
Efficient Recovery from Power Outage (Extended Abstract).
Proceedings of the Thirty-First Annual ACM Symposium on Theory of Computing, 1999