Skip to main content
  • Home
  • About the ACP
    • History of the ACP
    • Policies
      • Anti-Harassment
      • Diversity, Equity and Inclusion
      • CP Conference Organisation
    • Legal Information
      • Statutes of the ACP (English version)
      • Statutes of the ACP
      • Bylaws of the ACP
    • Executive Committee
      • Current Committee
      • Elections
        • 2024 Election Results
        • 2022 Election Results
        • 2020 Election Results
        • 2018 Election Results
        • 2016 Election Results
        • 2014 Election Results
        • 2012 Election Results
        • 2010 Election Results
        • 2008 Election Results
        • 2007 Election Results
        • 2006 Election Results
        • 2005 Election Results
        • 2004 Election Results
        • 2003 Election Results
      • Quarterly Reports / Decisions
    • General Assembly reports
    • Sponsorships & Donations
    • ACP Logo
  • Constraints Journal
  • Constraint Programming
    • Resources
    • Solvers
    • ACP Success Stories
    • Publication Venues
    • CP and CPAIOR Papers
    • PhD Thesis Archive
    • Career News
  • Events
    • CP Conference Series
    • ACP Summer Schools
    • Competitions
    • Call for Outreach Initiatives
  • Awards
    • Research Excellence Award
    • Distinguished Service Award
    • Early Career Researcher Award
    • Doctoral Research Award
    • Paper Awards
  • Log In
  • Contact
HomeAssociation for Constraint Programming

Constraints - Online First Articles


Preimage attacks on round-reduced MD5, SHA-1, and SHA-256 using parameterized SAT solver
Oleg Zaikin
video

Evaluating new methods for improving performance of algorithms for enumerating maximally feasible and minimally infeasible sets of constraints
Daiwen Zhang, Amy E.M. Cohn & Marina A. Epelman
video in progress

Design by Adaptive Theme