42 search results - page 9 / 9 » Algorithms for computing backbones of propositional formulae |
156
Voted
CASC
2006
Springer
15 years 7 months ago
2006
Springer
We address various aspects of our computer algebra-based computer logic system redlog. There are numerous examples in the literature for successful applications of redlog to practi...
136
Voted
SPIN
2010
Springer
15 years 2 months ago
2010
Springer
In our earlier work we have proposed using the declarative language DecSerFlow for modeling, analysis and enactment of processes in autonomous web services. DecSerFlow uses constra...