Computer Science – Discrete Mathematics
Scientist
Computer Science
Discrete Mathematics
Scientist
Constraint satisfaction problems in clausal form
Exact Ramsey Theory: Green-Tao numbers and SAT
On Davis-Putnam reductions for minimally unsatisfiable clause-sets
On the van der Waerden numbers w(2;3,t)
On variables with few occurrences in conjunctive normal forms
No associations
LandOfFree
Oliver Kullmann does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Oliver Kullmann, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Oliver Kullmann will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-214460