Sciweavers

102 search results - page 15 / 21
» Dually Chordal Graphs
Sort
View
SARA
2009
Springer
14 years 2 months ago
A New Formula Rewriting by Reasoning on a Graphical Representation of SAT Instances
In this paper, we propose a new approach for solving the SAT problem. This approach consists in representing SAT instances thanks to an undirected graph issued from a polynomial t...
Philippe Jégou, Lionel Paris
IPPS
1993
IEEE
13 years 12 months ago
Mapping Interconnection Networks into VEDIC Networks
We show the universality of the VEDIC network in simulating other well known interconnection networks by generating the parameters of the VEDtC network automatically. Algorithms a...
Vipin Chaudhary, Bikash Sabata, Jake K. Aggarwal
ESA
2005
Springer
128views Algorithms» more  ESA 2005»
14 years 1 months ago
Greedy Routing in Tree-Decomposed Graphs
Milgram’s experiment (1967) demonstrated that there are short chains of acquaintances between individuals, and that these chains can be discovered in a greedy manner. Kleinberg ...
Pierre Fraigniaud
DAM
1999
119views more  DAM 1999»
13 years 7 months ago
On the Algorithmic Complexity of Twelve Covering and Independence Parameters of Graphs
The definitions of four previously studied parameters related to total coverings and total matchings of graphs can be restricted, thereby obtaining eight parameters related to cov...
David Manlove
SODA
2004
ACM
160views Algorithms» more  SODA 2004»
13 years 9 months ago
On colorings of squares of outerplanar graphs
We study vertex colorings of the square G2 of an outerplanar graph G. We find the optimal bound of the inductiveness, chromatic number and the clique number of G2 as a function of...
Geir Agnarsson, Magnús M. Halldórsso...