Sciweavers

DM
2008
83views more  DM 2008»
13 years 10 months ago
Highly connected multicoloured subgraphs of multicoloured graphs
We consider the following question of Bollob
Henry Liu, Robert Morris, Noah Prince
AIPS
1996
13 years 11 months ago
Planning for Manufacturing Workpieces by Storing, Indexing and Replaying Planning Decisions
Planning for manufacturing workpiecesis a complex task that requires the interaction of a domain-specific reasoner and a generic planning mechanism.In this paper wepresent an arch...
Hector Muñoz-Avila, Frank Weberskirch
ACL2
2006
ACM
14 years 3 months ago
Double rewriting for equivalential reasoning in ACL2
Several users have had problems using equivalence-based rewriting in ACL2 because the ACL2 rewriter caches its results. We describe this problem in some detail, together with a pa...
Matt Kaufmann, J. Strother Moore