Your search returned the following 5 documents:

5. Constraint Solving for Interpolation
   Andrey Rybalchenko and Viorica Sofronie-Stokkermans
   In: 8th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2007), Nice, France, 2007
   
4. Invariant Synthesis for Combined Theories
   Dirk Beyer, Thomas Henzinger, Rupak Majumdar, and Andrey Rybalchenko
   In: Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, Nice, France, 2007, 378-394
   
3. Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 2004 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004
   Kurt Jensen and Andreas Podelski(Ed.)
   Lecture Notes in Computer Science. 2988, , Springer, Berlin, 2004
   
2. Constraint Programming: Basics and Trends
   Andreas Podelski(Eds.)
   Lecture Notes in Computer Science. 910, , Springer, Berlin, 1995
   
1. Solving pseudo-Boolean constraints
   Alexander Bockmayr
   In: Constraint Programming: Basics and Trends, Châtillon-sur-Seine, May 1994, 1995, 22-38