8094 search results - page 80 / 1619 » Improvements in Formula Generalization |
WCET
2007
13 years 10 months ago
2007
We present a method to find static path exclusions in a control flow graph in order to refine the WCET analysis. Using this information, some infeasible paths can be discarded ...
CIE
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. The input to a constraint satisfaction problem (CSP) consists of a set of variables, each with a domain, and constraints between these variables formulated by relations o...
FLAIRS
2007
13 years 11 months ago
2007
Reasoning about preferences is a major issue in many decision making problems. Recently, a new logic for handling preferences, called Qualitative Choice Logic (QCL), was presented...
WWW
2009
ACM
14 years 9 months ago
2009
ACM
?? ?? ???
?? ? ? ? ??
???
??? ? ?? ? ? ? ? ? ? ? ?
? ? ? ?? ? ? ? ? ? ? ??? ? ?? ?? ? ???? ? ? ?? ? ? ? ? ?
? ?? ? ?? ?? ??? ? ? ?? ?? ???
?? ? ? ? ??? ?
? ??? ????
???? ...
SAT
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We consider the problem of computing tractable approximations to CNF formulas, extending the approach of Selman and Kautz to compute the Horn-LUB to involve renaming of v...