1. Research with MATF
  2. Research Outputs

Browsing by Subject SMT solving

Showing results 1 to 7 of 7
Issue DateTitleAuthor(s)Rank
1-Jan-2025Automation of triangle straightedge-and-compass constructions using automated planningBanković, Milan M22
1-Oct-2016Extending SMT solvers with support for finite domain alldifferent constraintBanković, Milan M22
2017Modelling Program Behaviour within Software Verification Tool LAVVujošević Janičić, Milena 
1-Jun-2017Parallelizing simplex within SMT solversBanković, Milan M21
1-Apr-2023Solving the SPARQL query containment problem with SpeCSSpasić, Mirko ; Vujošević Janičić, Milena М22
1-May-2020SpeCS - SPARQL Query Containment SolverSpasić, Mirko ; Vujošević Janičić, Milena M33
2021Verification supported refactoring of embedded SQLSpasić, Mirko ; Vujošević Janičić, Milena M22
Showing results 1 to 7 of 7