844 search results - page 102 / 169 » Safraless Decision Procedures |
LOPSTR
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Termination of binary CLP programs has recently become an important question in the termination analysis community. The reason for this is due to that a number of approac...
SAT
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Many problems are naturally expressed using CNF clauses and boolean cardinality constraints. It is generally believed that solving such problems through pure CNF encoding...
WADT
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper describes a sublanguage of Casl, called CaslDL, that corresponds to the Web Ontology Language (OWL) being used for the semantic web. OWL can thus benefit from...
ICDAR
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper a study of some structural features of handwritten letter ‘a’ is presented. The features under consideration are structural, style and formation features documen...
ISIPTA
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper reviews recent results obtained in the medical diagnosis field by adding to a coherent inference process qualitative constraints. Such further considerations turn out ...