Computer Science – Programming Languages
Scientist
Computer Science
Programming Languages
Scientist
ACD Term Rewriting
Boolean Equi-propagation for Optimized SAT Encoding
Checking modes of HAL programs
Efficient constraint propagation engines
Finite Domain Bounds Consistency Revisited
No associations
LandOfFree
Peter J. Stuckey does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Peter J. Stuckey, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Peter J. Stuckey will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-73303