( en | de | ru )

 

Disambiguation of "Moss, Anna"

Author of the publication

copydeleteadd this publication to your clipboard
CP with Architectural State Lookup for Functional Test Generation.

, and . HLDVT, page 111-118. IEEE Computer Society, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Anja Moß

Maria Moss

Ben Moss

Maria Moss

Dieter Möss

 

Other publications of authors with the same name

Approximation algorithms for constrained for constrained node weighted steiner tree problems., and . STOC, page 373-382. ACM, (2001)Constraint Patterns and Search Procedures for CP-Based Random Test Generation.. Haifa Verification Conference, volume 4899 of Lecture Notes in Computer Science, page 86-103. Springer, (2007)High profit for low cost : approximation algorithms in node-weighted graphs.. Technion - Israel Institute of Technology, Israel, (2000)Efficient Recovery from Power Outage (Extended Abstract)., , , and . STOC, page 574-582. ACM, (1999)Constraint Programming with Arbitrarily Large Integer Variables.. CPAIOR, volume 6140 of Lecture Notes in Computer Science, page 252-266. Springer, (2010)Functional Test Generation with Distribution Constraints., and . Haifa Verification Conference, volume 6405 of Lecture Notes in Computer Science, page 34-51. Springer, (2009)CP with Architectural State Lookup for Functional Test Generation., and . HLDVT, page 111-118. IEEE Computer Society, (2006)