Search result for Sat solvers Online Courses & Certifications

Follow

Filter

Filter

Showing 3 courses

Filter

By Category
  • Computer Science(3)
By Subject
  • Algorithms(2)
  • Computer Science(1)
By Language
  • English (3)
By Duration
  • 20+ hours (1)
By Price
  • $50 - $200(1)
 
View All
Get Course Alerts by Email

NP-Complete Problems

by Daniel Kane , Alexander S. Kulikov
  • 0.0
3 Weeks
Learn about NP-complete problems, known as hard problems that can’t be solved efficiently, and practice solving them using algorithmic techniques. Step into the area of more complex problems and learn advanced algorithms to help solve them. You will practice solving large instances of some of these problems despite their hardness using very efficient specialized software and algorithmic techniques including:...
$150
Save Course

Automated Reasoning: satisfiability

by Hans Zantema
  • 4.8
Approx. 25 hours to complete
SAT/SMT basics, SAT examples Introduction to SAT Theory and algorithms for CNF-based SAT...
Save Course

Advanced Algorithms and Complexity

by Alexander S. Kulikov , Michael Levin , Daniel M Kane , Neil Rhodes
  • 4.6
Approx. 27 hours to complete
SAT to 3-SAT Circuit SAT to SAT All of NP to Circuit SAT...
Save Course
Cancel
Add new list
0/60
0/360
Cancel
Delete list

Are you sure you want to delete this list? This action will cause all your notes inside the list to be lost

Cancel Delete
Delete Course

Are you sure you want to delete this course? This action will cause all your notes inside the course to be lost

Cancel Delete
Share
Cancel Copy
Saved Course list
Cancel
Get Course Update
Computer Courses