Login / Signup
Ed Wynn
Publication Activity (10 Years)
Years Active: 2012-2018
Publications (10 Years): 1
Top Topics
Cardinality Constraints
Event Sequences
Functional Dependencies
Sat Solvers
Top Venues
CoRR
Discret. Math.
</>
Publications
</>
Ed Wynn
A comparison of encodings for cardinality constraints in a SAT solver.
CoRR
(2018)
Ed Wynn
Exhaustive generation of 'Mrs. Perkins's quilt' square dissections for low orders.
Discret. Math.
334 (2014)
Ed Wynn
Constructing circuit codes by permuting initial sequences
CoRR
(2012)