Sciweavers

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

24

ENTCS
2008

favoriteEmaildiscussreport

64views more ENTCS 2008»

Model-based Theory Combination

13 years 11 months ago

Model-based Theory Combination

Download research.microsoft.com

Traditional methods for combining theory solvers rely on capabilities of the solvers to produce all implied equalities or a pre-processing step that introduces additional literals into the search space. This paper introduces a combination method that incrementally reconciles models maintained by each theory. We evaluate the practicality and efficiency of this approach.

Leonardo Mendonça de Moura, Nikolaj Bj&osla

Real-time Traffic

Additional Literals | ENTCS 2008 | Theory Solvers | Traditional Methods |

claim paper

Related Content

» An Efficient Student Model Based on Student Performance and Metadata

» Hidden Markov Model Based Weighted Likelihood Discriminant for Minimum Error Shape Classif...

» The Web 20 Driven SECI Model Based Learning Process

» Estimation of statistical translation models based on mutual information for ad hoc inform...

» Predictive user click models based on clickthrough history

» A Dynamic Associative ELearning Model based on a Spreading Activation Network

» Hybrid Context Model Based on Multilevel Situation Theory and Ontology for Contact Centers

» PIModel A Pragmatic ITS Model Based on Instructional Automata Theory

» TwoStage Classification System combining ModelBased and Discriminative Approaches

» Combining CaseBased and ModelBased Reasoning for Predicting the Outcome of Legal Cases

Post Info
More Details (n/a)

Added	10 Dec 2010
Updated	10 Dec 2010
Type	Journal
Year	2008
Where	ENTCS
Authors	Leonardo Mendonça de Moura, Nikolaj Bjørner

Comments (0)