Sciweavers

JAL
2000
74views more  JAL 2000»
13 years 4 months ago
Box-Rectangular Drawings of Plane Graphs
Md. Saidur Rahman, Shin-Ichi Nakano, Takao Nishize...
JAL
2000
82views more  JAL 2000»
13 years 4 months ago
New Upper Bounds for Maximum Satisfiability
The (unweighted) Maximum Satisfiability problem (MaxSat) is: given a boolean formula in conjunctive normal form, find a truth assignment that satisfies the most number of clauses....
Rolf Niedermeier, Peter Rossmanith
JAL
2000
81views more  JAL 2000»
13 years 4 months ago
Fully Dynamic Algorithms for Maintaining Shortest Paths Trees
Daniele Frigioni, Alberto Marchetti-Spaccamela, Um...
JAL
2000
45views more  JAL 2000»
13 years 4 months ago
On Local Register Allocation
Martin Farach-Colton, Vincenzo Liberatore
JAL
2000
119views more  JAL 2000»
13 years 4 months ago
On Markov Chains for Independent Sets
Random independent sets in graphs arise, for example, in statistical physics, in the hard-core model of a gas. In 1997, Luby and Vigoda described a rapidly mixing Markov chain for...
Martin E. Dyer, Catherine S. Greenhill