|
|
|
|
|
|
|
![](../../../00global/00pics/green-tl.png) |
|
![](../../../00global/00pics/green-tr.png) |
|
Publications - Solving Existentially Quantified Horn Clauses
|
|
![](../../../00global/00pics/green-bl.png) |
|
![](../../../00global/00pics/green-br.png) |
Reference:
Tewodros Beyene, Corneliu Popeea, and Andrey Rybalchenko. Solving existentially quantified Horn clauses. In CAV, July 2013.
Suggested BibTeX entry:
@inproceedings{BeyeneCAV13,
author = {Tewodros Beyene and Corneliu Popeea and Andrey Rybalchenko},
booktitle = {CAV},
month = {July},
title = {Solving Existentially Quantified {H}orn Clauses},
year = {2013}
}
|
![](../g/pixel.png) |
| This work is not available online here. |
|
|
|
|
|
|
|
|