9532 search results - page 128 / 1907 » Logic, Graphs, and Algorithms |
JANCL
2008
14 years 11 months ago
2008
ABSTRACT. In [CON 06b] we introduced the algorithm SQEMA for computing first-order equivalents and proving canonicity of modal formulae, and thus established a very general corresp...
118
click to vote
PARA
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. This paper presents new efficient parallel algorithms for finding approximate solutions to graph coloring problems. We consider an existing shared memory parallel graph...
IDEAS
2009
IEEE
15 years 6 months ago
2009
IEEE
ASPDAC
2009
ACM
15 years 5 months ago
2009
ACM
62
Voted
GECCO
2007
Springer
15 years 5 months ago
2007
Springer
