2944 search results - page 393 / 589 » Improving Bound Propagation |
151
click to vote
CSR
2007
Springer
16 years 22 days ago
2007
Springer
We investigate the complexity of equivalence problems for {∪, ∩, − , +, ×}-circuits computing sets of natural numbers. These problems were first introduced by Stockmeyer an...
205
click to vote
FAW
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Given a graph G and a nonnegative integer k, the NP-complete Induced Matching problem asks for an edge subset M such that M is a matching and no two edges of M are joined...
184
click to vote
GCC
2007
Springer
16 years 22 days ago
2007
Springer
Efficient data access is one way of improving the performance of the Data Grid. In order to speed up the data access and reduce bandwidth consumption, Data Grid replicates essenti...
148
click to vote
HM
2007
Springer
16 years 22 days ago
2007
Springer
Sudoku is a notorious logic-based puzzle that is popular with puzzle enthusiasts the world over. From a computational perspective, Sudoku is also a problem that belongs to the set ...
161
click to vote
JSAI
2007
Springer
16 years 21 days ago
2007
Springer
This paper reports our ongoing research effort to develop a system which translates legal texts into logical forms in which we can check for inconsistency. Our logical formalizati...