This page may be out of date. Submit any pending changes before refreshing this page.
Hide this message.
Quora uses cookies to improve your experience. Read more
ad by CloudFactory
Ultra-precise image labeling. Easily start, optimize & scale.
Label millions of images for machine learning with 99% accuracy. Spin up a team now!
Learn More at cloudfactory.com
1 Answer
Somdeb Sarkhel
Somdeb Sarkhel, PhD student have used SAT solvers, has special interest in Satisfiability
Answered 199w ago · Author has 81 answers and 210.3k answer views
  1. Model Checking (Formal verification)
  2. Automated planning and scheduling
  3. Combinatorial Design
  4. Computing Probabilities in Graphical model
… and many more.

Please refer to this brilliant tutorial by Ashish Sabharwal -
https://courses.cs.washington.ed...
1.5k Views · View Upvoters
Your feedback is private.
Is this answer still relevant and up to date?

Related Questions

Related Questions