846 search results - page 20 / 170 » Rewrite-Based Decision Procedures |
FUIN
2002
14 years 11 months ago
2002
118
click to vote
SIAMCOMP
2002
14 years 11 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...
118
click to vote
CADE
2012
Springer
13 years 2 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...
110
Voted
CI
2011
14 years 6 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...
72
Voted
IADIS
2003
15 years 1 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...