2550 search results - page 27 / 510 » Difference Decision Diagrams |
76
Voted
IEICET
2010
15 years 10 days ago
2010
118
click to vote
JSAT
2010
14 years 8 months ago
2010
Groote and Zantema proved that a particular OBDD computation of the pigeonhole formula has exponential size, and that limited OBDD derivations cannot simulate resolution polynomia...
156
click to vote
ICDT
2011
ACM
14 years 5 months ago
2011
ACM
The goal of Knowledge Compilation is to represent a Boolean expression in a format in which it can answer a range of online-queries in PTIME. The online-query of main interest to ...
OOIS
2001
Springer
15 years 6 months ago
2001
Springer
: This paper presents Reconciliation+, a tool-supported method which identifies overlaps between models of different object interactions expressed as UML sequence and/or collaborat...