NTHRYS › PhD Assistance › Discrete Mathematics
Select a category to explore research frontiers
Loading categories...
Research on CDCL algorithms, variable selection heuristics, and proof complexity in modern SAT solving.
All Discrete Mathematics PhD categories