What is the process of combining assertions and logical constraints?
List
Net
Inference net
Inference
Correct Answer: C — Inference net
Explanation:
When a group of assertions and logical constraints are combined, they form inference net.