Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Empirical analysis and optimization of an NP−hard problem using CSP and FDR

Empirical analysis and optimization of an NP−hard problem using CSP and FDR

D. A. Creager and A. C. Simpson

Book Title
Proceedings of the 2007 Brazilian Symposium on Formal Methods (SBMF 2007)
Year
2007

Links

See Also

Back to Top