443 search results - page 40 / 89 » Testing Hypergraph Coloring |
125
click to vote
COMPSAC
2005
IEEE
15 years 7 months ago
2005
IEEE
Performance analysis gains more attention in recent years by researchers who focus their study on the early software development stages to mitigate the risk of redesign as problem...
98
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
The paper is organized as a self-contained literate Prolog program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmetic...
101
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
The paper is organized as a self-contained literate Haskell program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmet...
77
Voted
ENTCS
2007
15 years 1 months ago
2007
In the theory of graph rewriting, the use of coalescing rules, i.e., of rules which besides deleting and generating graph items, can coalesce some parts of the graph, turns out to...
96
Voted
EOR
2008
15 years 1 months ago
2008
The car sequencing problem consists in sequencing a given set of cars to be produced in a single day. We address one of the variants of this problem, in which the objective of mini...