Browsing by Subject SAT/SMT solving

Showing results 1 to 1 of 1
Issue DateTitleAuthor(s)Rank
2022Theorem Proving as Constraint Solving with Coherent LogicJaničić, Predrag ; Narboux, Julien