Events Tagged: "solving"
Home
Browse Events
People
Places
Books
Search
Timeline
Go →
1 events with tag "solving"
1991
ID: 4542
CHR (Constraint Handling Rules) - declarative constraint solving through confluent rewrite rules
ID: 4542
logic programming
constraints
CHR
declarative
solving