Sciweavers

JAL
2000
74views more  JAL 2000»
13 years 10 months ago
Box-Rectangular Drawings of Plane Graphs
Md. Saidur Rahman, Shin-Ichi Nakano, Takao Nishize...
JAL
2000
82views more  JAL 2000»
13 years 10 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 10 months ago
Fully Dynamic Algorithms for Maintaining Shortest Paths Trees
Daniele Frigioni, Alberto Marchetti-Spaccamela, Um...
JAL
2000
45views more  JAL 2000»
13 years 10 months ago
On Local Register Allocation
Martin Farach-Colton, Vincenzo Liberatore
JAL
2000
119views more  JAL 2000»
13 years 10 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