|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Cardinality constraints for arrays (decidability results and applications) |
Alberti, F. |
2017 |
51 | 3 |
p. 545-574 |
artikel |
|
| 2 | Compositional entailment checking for a fragment of separation logic |
Enea, Constantin |
2017 |
51 | 3 |
p. 575-607 |
artikel |
|
| 3 | New techniques for linear arithmetic: cubes and equalities |
Bromberger, Martin |
2017 |
51 | 3 |
p. 433-461 |
artikel |
|
| 4 | NP-completeness of small conflict set generation for congruence closure |
Fellner, Andreas |
2017 |
51 | 3 |
p. 533-544 |
artikel |
|
| 5 | Preface to special issue on satisfiability modulo theories |
Griggio, Alberto |
2017 |
51 | 3 |
p. 431-432 |
artikel |
|
| 6 | Propagation based local search for bit-precise reasoning |
Niemetz, Aina |
2017 |
51 | 3 |
p. 608-636 |
artikel |
|
| 7 | raSAT: an SMT solver for polynomial constraints |
Tung, Vu Xuan |
2017 |
51 | 3 |
p. 462-499 |
artikel |
|
| 8 | Solving quantified linear arithmetic by counterexample-guided instantiation |
Reynolds, Andrew |
2017 |
51 | 3 |
p. 500-532 |
artikel |
8 gevonden resultaten