Incomplete smt techniques for solving non-linear formulas over the integers
- Borralleras, C.
- Larraz, D.
- Rodriguez-Carbonell, E.
- Oliveras, A.
- Rubio, A.
ISSN: 1557-945X, 1529-3785
Argitalpen urtea: 2019
Alea: 20
Zenbakia: 4
Mota: Artikulua
ISSN: 1557-945X, 1529-3785
Argitalpen urtea: 2019
Alea: 20
Zenbakia: 4
Mota: Artikulua