PLDI WALA Tutorial
State Space c-Reductions of Concurrent Systems in Rewriting Logic @ ETAPS Workshop WRLA 2013
Modeling and Solving Constraints Erin Catto Blizzard Entertainment.
Automated Discovery in Pure Mathematics
Automated Discovery in Pure Mathematics Simon Colton Universities of Edinburgh and York.
Using Constraint Solvers as Inference Engines to Validate and Execute Rules-Based Decision Models Jacob Feldman, Ph.D. Founder & CTO, OpenRules, Inc. JSR-331.