The Technion Site
The Haifa Solvers Suite
Ofer Strichman
  • Home
  • HSmtMuc
  • HaifaMUC (HMUC)
  • HaifaHLMUC (HHLMUC)
  • HaifaSAT
  • HaifaCSP (HCSP)
    • Publications
    • Performance
    • Statistics
    • Future Work
    • Download
    • Author
  • HBench
    • Installation Instructions
  • EduSAT – a SAT solver for educational purposes
Homepage > HaifaCSP (HCSP) > Author

Author

  • Author: Written by Michael Veksler (mickey.veksler@gmail.com), as part of a PhD thesis.
  • Advisor: Professor Ofer Strichman.
  • Faculty: Industrial Engineering and Management, Technion – Israel Institute of Technology.
  • HaifaCSP is part of the Haifa solvers’ suite.

HaifaCSP

  • Main
  • Publications
  • Performance
  • Statistics
  • Future Work
  • Download
  • Author
Proudly powered by WordPress