Lukas' Notes

Definition

Constant (Satisfiability Modulo Theory)

Define your knowledge here…