36 search results - page 3 / 8 » Solving Satisfiability Problems on FPGAs using Experimental ... |
CIKM
2006
Springer
13 years 9 months ago
2006
Springer
The wide adoption of XML has increased the interest of the database community on tree-structured data management techniques. Querying capabilities are provided through tree-patter...
WEA
2010
Springer
13 years 10 months ago
2010
Springer
We investigate how the recently developed different approaches to generate randomized roundings satisfying disjoint cardinality constraints behave when used in two classical algori...
CONSTRAINTS
2002
13 years 5 months ago
2002
In this paper, we report the design and implementation of a constraint-based interactive train rescheduling tool, a project in collaboration with the International Institute for So...
EOR
2006
13 years 5 months ago
2006
In this paper, we examine a multi-period capacity expansion problem for a local access telecommunications network with a tree topology. Capacity expansion is realized through the ...
IJAIT
2008
13 years 5 months ago
2008
Instruction scheduling is one of the most important steps for improving the performance of object code produced by a compiler. A fundamental problem that arises in instruction sch...