Sciweavers

307 search results - page 35 / 62
» Finite locally-quasiprimitive graphs
Sort
View
CC
2006
Springer
147views System Software» more  CC 2006»
13 years 10 months ago
Complexity of Ring Morphism Problems
Abstract. We study the complexity of the isomorphism and automorphism problems for finite rings. We show that both integer factorization and graph isomorphism reduce to the problem...
Neeraj Kayal, Nitin Saxena
JGT
2008
69views more  JGT 2008»
13 years 9 months ago
List colorings with measurable sets
The measurable list chromatic number of a graph G is the smallest number such that if each vertex v of G is assigned a set L(v) of measure in a fixed atomless measure space, the...
Jan Hladký, Daniel Král, Jean-S&eacu...
CDC
2010
IEEE
163views Control Systems» more  CDC 2010»
13 years 4 months ago
A distributed joint-learning and auction algorithm for target assignment
We consider an agent-target assignment problem in an unknown environment modeled as an undirected graph. Agents do not know this graph or the locations of the targets on it. Howeve...
Teymur Sadikhov, Minghui Zhu, Sonia Martíne...
ISCIS
2009
Springer
14 years 4 months ago
Using a SAT solver to generate checking sequences
—Methods for software testing based on Finite State Machines (FSMs) have been researched since the early 60’s. Many of these methods are about generating a checking sequence fr...
Guy-Vincent Jourdan, Hasan Ural, Hüsnü Y...
AICCSA
2007
IEEE
84views Hardware» more  AICCSA 2007»
14 years 4 months ago
Encoding Algorithms for Logic Synthesis
This paper presents an encoding algorithm that is very efficient for many different logic synthesis problems. The algorithm is based on the use of special tables and includes two ...
Valery Sklyarov, Iouliia Skliarova