Constraints - Online First Articles | Association for Constraint Programming

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

Optimizing multiple-control Toffoli quantum circuit design with constraint programming
Jihye Jung, Kevin Dalmeijer and Pascal Van Hentenryck
video in progress

Design by Adaptive Theme