Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. SAT solving in CSP trace refinement

SAT solving in CSP trace refinement

Hristina Palikareva‚ Joel Ouaknine and A.W. Roscoe

Journal
Science of Computer Programming
Volume
77
Year
2012

Links

See Also

Back to Top