846 search results - page 20 / 170 » Rewrite-Based Decision Procedures |
FUIN
2002
13 years 9 months ago
2002
SIAMCOMP
2002
13 years 9 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
12 years 7 days 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...
CI
2011
13 years 4 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 11 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...