NTHRYS › PhD Assistance › Discrete Mathematics

Discrete Mathematics

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Boolean Satisfiability and CDCL Algorithms

Analyzes SAT solving through CDCL conflict-driven clause learning and modern heuristics.