Lukas' Notes

Nelson-Oppen Decision Procedure

1 min read

Definition

Nelson-Oppen Decision Procedure

Define your knowledge here…

Backlinks

June 21st, 2024 (1st Exam for SS 2024)
June 26th, 2024 (1st Exam for SS 2024)
October 11, 2024 (2nd Exam for SS 2024)
Stable Infiniteness Removes Hidden Cardinality Conflicts
Convex Theory (Satisfiability Modulo Theory)
Nelson-Oppen Restrictions (Satisfiability Modulo Theory)

Created with Quartz v4.5.2 © 2026

GitHub