Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

14

ENTCS
2008

favoriteEmaildiscussreport

93views more ENTCS 2008»

Rewriting Interpolants

13 years 4 months ago

Rewriting Interpolants

Download people.clarkson.edu

Abstract. We give a method of constructing an interpolant for linear equality, and inequality constraints over the rational numbers. Our method is based on efficient rewriting techniques, and does not require the use of combination methods. The interpolant is constructed in such a way that it reflects the structure of the rewrite proof.

Christopher Lynch, Yuefeng Tang

Real-time Traffic

Efficient Rewriting Techniques | ENTCS 2008 | Inequality Constraints | Linear Equality |

claim paper

Related Content

» Solvability of partial differential equations by meshless kernel methods

» Two Techniques for Minimizing Resolution Proofs

» State of the Union Type Inference Via Craig Interpolation

» Scalable exploration of functional dependency by interpolation and incremental SAT solving

» Tableaux for Projection Computation and Knowledge Compilation

» Direct Combination of Spelling and Pronunciation Information for Robust BackTransliteratio...

» Path following algorithm for the graph matching problem

Post Info
More Details (n/a)

Added	10 Dec 2010
Updated	10 Dec 2010
Type	Journal
Year	2008
Where	ENTCS
Authors	Christopher Lynch, Yuefeng Tang

Comments (0)