NTHRYS › PhD Assistance › Formal Methods

Formal Methods

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Quantified Boolean Formula Solving Advances

Novel algorithms and heuristics for solving quantified Boolean formulas arising in hardware verification and synthesis problems.