The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study Through Datalog and Group Theory
- Tomás Feder
- Moshe Y. Vardi
- 1998
- SIAM Journal on Computing
Publications
26328 results for Science
The Design, Implementation, and Evaluation of a Symmetric Banded Linear Solver for Distributed-Memory Parallel Computers
- Anshul Gupta
- Fred G. Gustavson
- et al.
- 1998
- ACM TOMS
Maintaining spanning trees of small diameter
- G.F. Italiano
- Rajiv Ramaswami
- 1998
- Algorithmica (New York)
A primal-dual interpretation of two 2-approximation algorithms for the feedback vertex set problem in undirected graphs
- Fabián A. Chudak
- Michel X. Goemans
- et al.
- 1998
- Operations Research Letters
Characterization of the hot-electron-induced degradation in thin SiO2 gate oxides
- E. Cartier
- 1998
- Microelectronics Reliability
Free-form modeling in bilateral BREP and CSG representation schemes
- Jai Menon
- Baining Guo
- 1998
- International Journal of Computational Geometry and Applications
Future directions in electroplated materials for thin-film recording heads
- P.C. Andricacos
- N. Robertson
- 1998
- IBM J. Res. Dev
Origin of conductance quantization
- Inder P. Batra
- 1998
- Surface Science
Crown Sensitivity of the Magnetic Recording Head Gimbal Assembly Bonded by a Viscoelastic Adhesive
- W. Qian
- W.W. Childers
- et al.
- 1998
- Mechanics Time-Dependent Materials
Peierls-Holstein dimer model with coherent, squeezed oscillatory trial functions
- H. Morawitz
- P. Reineker
- et al.
- 1998
- Journal of Luminescence