Anna Moss

According to our database, Anna Moss authored at least 9 papers between 1999 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2010

Constraint Programming with Arbitrarily Large Integer Variables.

Anna Moss

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010

2009

Functional Test Generation with Distribution Constraints.

Anna Moss, Boris Gutkovich

Proceedings of the Hardware and Software: Verification and Testing, 2009

2007

Approximation Algorithms for Constrained Node Weighted Steiner Tree Problems.

Anna Moss, Yuval Rabani

SIAM J. Comput., 2007

Constraint Patterns and Search Procedures for CP-Based Random Test Generation.

Anna Moss

Proceedings of the Hardware and Software: Verification and Testing, 2007

2006

CP with Architectural State Lookup for Functional Test Generation.

Boris Gutkovich, Anna Moss

Proceedings of the Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, 2006

2001

Approximation algorithms for constrained for constrained node weighted steiner tree problems.

Anna Moss, Yuval Rabani

Proceedings of the Proceedings on 33rd Annual ACM Symposium on Theory of Computing, 2001

2000

High profit for low cost : approximation algorithms in node-weighted graphs.

Anna Moss

PhD thesis, 2000

1999

The Budgeted Maximum Coverage Problem.

Samir Khuller, Anna Moss, Joseph Naor

Inf. Process. Lett., 1999

Efficient Recovery from Power Outage (Extended Abstract).

Sudipto Guha, Anna Moss, Joseph Naor, Baruch Schieber

Proceedings of the Thirty-First Annual ACM Symposium on Theory of Computing, 1999