skip to main content
10.1145/309847.309860acmconferencesArticle/Chapter ViewAbstractPublication PagesdacConference Proceedingsconference-collections
Article
Free Access

Optimization-intensive watermarking techniques for decision problems

Authors Info & Claims
Published:01 June 1999Publication History
First page image

References

  1. 1.R Cheeseman, B. Kanefsky, and W.M. Taylor. Where the Really HardP1vblems Are. Twelveth International Joint Conference on Artificial Intelligence, pp. 331- 337, 1991.Google ScholarGoogle Scholar
  2. 2.J. Franco, and Y.C. Ho. P1vbabilistic Pelformance of A Heuristic for the Satisfiability P~vblem. Discrete Applied Mathematics, Vol. 22, pp. 35-51, 1988. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. 3.A.B. Kahng, J. Lach, W.H. Magione-Smith, S. Mantik, I.L. Markov, M. Potkonjak, R Tucker, H. Wang and G. Wolfe. Watermarking Techniques for Intellectual P~vperty P~vtection. 35th Design Automation Conference Proceedings, pp. 776-781, 1998. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. 4.G. Qu, and M. Potkonjak. Analysis of Watermarking Techniques for Graph Coloring P~vblem. IEEE/ACM International Conference on Computer Aided Design Proceedings, 1998. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. 5.B.Selman, H.Kautz, and D.McAllester. Ten Challenges in P~vpositional Reasoning and Search. Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI-97) pp. 50-54, 1997. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. 6.J.RM. Silva, and K.A. Sakallah. GRASP--A New Search Algorithm for Satisfiability. Proceedings of ICCAD-96, pp. 220-227, 1996. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. 7.http://dimacs.rutgers.edu/Google ScholarGoogle Scholar
  8. 8.http ://aida.intellektik.informatik.th-darmstadt.de/hoos/SATLIB/Google ScholarGoogle Scholar

Index Terms

  1. Optimization-intensive watermarking techniques for decision problems

    Recommendations

    Comments

    Login options

    Check if you have access through your login credentials or your institution to get full access on this article.

    Sign in
    • Published in

      cover image ACM Conferences
      DAC '99: Proceedings of the 36th annual ACM/IEEE Design Automation Conference
      June 1999
      1000 pages
      ISBN:1581131097
      DOI:10.1145/309847

      Copyright © 1999 ACM

      Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      • Published: 1 June 1999

      Permissions

      Request permissions about this article.

      Request Permissions

      Check for updates

      Qualifiers

      • Article

      Acceptance Rates

      DAC '99 Paper Acceptance Rate154of451submissions,34%Overall Acceptance Rate1,770of5,499submissions,32%

      Upcoming Conference

      DAC '24
      61st ACM/IEEE Design Automation Conference
      June 23 - 27, 2024
      San Francisco , CA , USA

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader