SAT modulo linear arithmetic for solving polynomial constraints

  1. Borralleras, C.
  2. Lucas, S.
  3. Oliveras, A.
  4. Rodríguez-Carbonell, E.
  5. Rubio, A.
Aldizkaria:
Journal of Automated Reasoning

ISSN: 0168-7433,  1573-0670

Argitalpen urtea: 2012

Alea: 48

Zenbakia: 1

Orrialdeak: 107-131

Mota: Artikulua

DOI: 10.1007/S10817-010-9196-8 GOOGLE SCHOLAR
Datuen iturria: Scopus