844 search results - page 20 / 169 » Safraless Decision Procedures |
SIAMCOMP
2002
13 years 8 months ago
2002
Linear quantum cellular automata were introduced recently as one of the models of quantum computing. A basic postulate of quantum mechanics imposes a strong constraint on any quan...
CADE
2012
Springer
11 years 11 months ago
2012
Springer
Combination of theories underlies the design of satisfiability modulo theories (SMT) solvers. The Nelson-Oppen framework can be used to build a decision procedure for the combinat...
EUSFLAT
2009
13 years 6 months ago
2009
In this paper we present a procedure to deal with a kind of single-stage decision problems with imprecise utilities. In this type of problems the product measurability of the utili...
CI
2011
13 years 3 months ago
2011
This paper is focused on how a general-purpose hierarchical planning representation, based on the HTN paradigm, can be used to support the representation of oncology treatment pro...
IADIS
2003
13 years 10 months ago
2003
This paper illustrates the logical order in which things happen in developing an e-commerce web site, pinpointing the major decisions required throughout the process. KEYWORDS E-c...