Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF RG1 Publications, generated: 4:08, 23 October 2019

Search the publication database

  . Return

Your search returned the following 3 documents:

  1. Andrey Rybalchenko and Viorica Sofronie-Stokkermans
    Constraint Solving for Interpolation
    Journal of Symbolic Computation 45 (11): 1212-1233, 2010
  2. Andrey Rybalchenko and Viorica Sofronie-Stokkermans
    Constraint Solving for Interpolation
    In: Verification, Model Checking and Abstract Interpretation : 8th International Conference, VMCAI 2007, Nice, France, 2007, 346-362
  3. Bernd Becker, Werner Martin Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Andreas Podelski, and Reinhard Wilhelm(Ed.)
    Andrey Rybalchenko and Viorica Sofronie-Stokkermans
    Constraint Solving for Interpolation
    SFB/TR 14 AVACS, SFB/TR 14 AVACS, ATR 56, Technical Report