295 search results - page 52 / 59 » SAT, SMT and Applications |
139
click to vote
CAV
2008
Springer
15 years 3 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
122
click to vote
AI
2008
Springer
15 years 2 months ago
2008
Springer
The notion of maintenance often appears in the AI literature in the context of agent behavior and planning. In this paper, we argue that earlier characterizations of the notion of...
123
Voted
ICCAD
2009
IEEE
14 years 11 months ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
121
click to vote
ASPLOS
2008
ACM
15 years 3 months ago
2008
ACM
The constant race for faster and more powerful CPUs is drawing to a close. No longer is it feasible to significantly increase the speed of the CPU without paying a crushing penalt...
109
click to vote
WWW
2006
ACM
16 years 2 months ago
2006
ACM
Domain ontology has been used in many Semantic Web applications. However, few applications explore the use of ontology for personalized services. This paper proposes an ontology b...