Listing items with Subject "Satisfiability modulo theories"
4 items found
Showing titles from 0 to 4:
| Format | Date | Title | Author |
|---|---|---|---|
| Format | Date | Title | Author |
|
2012 December 20 | A satisfiability modulo theories approach to constraint programming | Suy Franch, Josep |
|
A satisfiability modulo theories approach to constraint programming | Suy Franch, Josep | |
|
|
2019 July 15 | Scheduling through logic-based tools | Coll Caballero, Jordi |
|
|
2018 November 15 | SMT techniques for planning problems | Espasa Arxer, Joan |
