844 search results - page 20 / 169 » Safraless Decision Procedures |
138
click to vote
SIAMCOMP
2002
15 years 1 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...
137
click to vote
CADE
2012
Springer
13 years 4 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...
116
Voted
EUSFLAT
2009
14 years 11 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...
138
Voted
CI
2011
14 years 9 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...
83
Voted
IADIS
2003
15 years 3 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...