Reference:

Andrey Rybalchenko. Constraint solving for program verification: Theory and practice by example. In Touili et al., pages 57–71.

Suggested BibTeX entry:

@inproceedings{DBLP:confcavRybalchenko10,
    author = {Andrey Rybalchenko},
    booktitle = {CAV},
    editor = {Tayssir Touili and Byron Cook and Paul Jackson},
    pages = {57-71},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Constraint Solving for Program Verification: Theory and Practice by Example},
    volume = {6174},
    year = {2010}
}