Report copyright - ASurveyofSatisfiabilityModuloTheory - unich.itSMT=SAT+theories SAT=saywhetheraformulaoverBooleansissatisfiable(andgivea modelifso) SMT=saywhetheraformulaoverBooleansandothertypesis
Please pass captcha verification before submit form