37 search results - page 3 / 8 » amai 2004 |
AMAI
2004
Springer
13 years 9 months ago
2004
Springer
AMAI
2004
Springer
13 years 9 months ago
2004
Springer
AMAI
2004
Springer
14 years 3 months ago
2004
Springer
In reasoning tasks involving logical formulas, high expressiveness is desirable, although it often leads to high computational complexity. We study a simple measure of expressiven...
AMAI
2004
Springer
14 years 3 months ago
2004
Springer
In this paper the use of graph isomorphism is investigated within the framework of symmetry breaking in constraint satisfaction problems. A running example of Comma-free codes is ...
AMAI
2004
Springer
14 years 3 months ago
2004
Springer
In this paper we formulate the combinatorial auction brokering problem as a Set Packing Problem (SPP) and apply a simulated annealing heuristic to solve SPP. Experimental results ...