1 SAT Solving As implemented in - DPLL solvers: GRASP, Chaff and - Stochastic solvers: GSAT.
Increasing graph connectivity from 1 to 2 Guy Kortsarz Joint work with Even and Nutov.
Optimization of Wavelength Assignment for QoS Multicast in WDM Networks Xiao-Hua Jia, Ding-Zhu Du, Xiao-Dong Hu, Man-Kei Lee, and Jun Gu, IEEE TRANSACTIONS.
Register Allocation
SAT-based Bounded Model Checking
1 Multiconstrained QoS Routing: Simple Approximations to Hard Problems Guoliang (Larry) Xue Arizona State University Research Supported by ARO and NSF.
Multiconstrained QoS Routing: Simple Approximations to Hard Problems
1 Graph theory glossary Yulia Burkatovskaya Department of Computer Engineering Associate professor.
Chapter 23: Minimum Spanning Trees: A graph optimization problem Given undirected graph G(V,E) and a weight function w(u,v) defined on all edges (u,v)
A survey on approximating graph spanners Guy Kortsarz, Rutgers Camden
Graph Searching