SC2: Satisfiability checking meets symbolic computation
Symbolic Computation and Satisfiability Checking are two research areas, both having their individual scientific focus but sharing also common interests in the development, implementation and application of decision procedures for arithmetic theories. Despite their commonalities, the two communities...
| Main Authors: | , , , , , , , , , , , , , , |
|---|---|
| Format: | Conference item |
| Published: |
Springer
2016
|