Lukas' Notes

Definition

Function Symbol (Satisfiability Modulo Theory)

Define your knowledge here…