[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

DeMouraBjorner11

  1. Leonardo de Moura & Nikolaj BjC8rner
  2. Satisfiability modulo theories: introduction and applications
  3. Commun ACM V54n9(Sep 2011)pp69-77 [ 1995376.1995394 ]
  4. =ADVERT LOGIC FORMAL MATHEMATICS PROBLEM SOLVING TOOLS SMT SAT
  5. SMT solve problems within specialized mathematical theories.
  6. Example theory: difference arithmetic where every formula has form x-y<=c where x & y are variables and c is a constant.
  7. SMT work with SAT solvers.
  8. Several solvers for different theories can be combined.
  9. Many problems about programs can be expressed in the theories with tractable solvers.

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]