NTHRYS › PhD Assistance › Parallel Computing

Parallel Computing

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Parallel Constraint Solving and Satisfaction

Distributed algorithms for SAT/SMT solving with cooperative clause sharing and dynamic partitioning strategies.