Login / Signup
Philip J. Armstrong
Publication Activity (10 Years)
Years Active: 2009-2016
Publications (10 Years): 1
Top Topics
Constraint Programming
Constraint Satisfaction Problems
Decomposition Method
Distributed Memory
Top Venues
Int. J. Softw. Tools Technol. Transf.
TACAS
CAV
</>
Publications
</>