Adaptive application of SAT solving techniques
- Ohad Shacham
- Karen Yorav
- 2005
- CAV 2005
Workshop paper
Publications
26886 results for Science
Mobility in semiconducting carbon nanotubes at finite carrier density
- Vasili Perebeinos
- J. Tersoff
- et al.
- 2006
- Nano Letters
ReviewMagnetotransport of magnetite nanoparticle arrays
- Hao Zeng
- C.T. Black
- et al.
- 2006
- Physical Review B - CMMP
PaperSolving sparse random instances of Max Cut and Max 2-CSP in linear expected time
- Alexander D. Scott
- Gregory B. Sorkin
- 2006
- Combinatorics Probability and Computing
PaperAn approximation to the greedy algorithm for differential compression
- Ramesh C. Agarwal
- Karan Gupta
- et al.
- 2006
- IBM J. Res. Dev
PaperAn autonomic operating environment for large-scale distributed applications
- Tobin J. Lehman
- Robert G. Deen
- et al.
- 2006
- Integrated Computer-Aided Engineering
PaperExposing and eliminating vulnerabilities to denial of service attacks in secure gossip-based multicast
- Gal Badishi
- Idit Keidar
- et al.
- 2006
- IEEE TDSC
PaperOn demand platform for online games
- Anees Shaikh
- Sambit Sahu
- et al.
- 2006
- IBM Systems Journal
PaperSynthesis of well-defined hydrogel networks using Click chemistry
- Michael Malkoch
- Robert Vestberg
- et al.
- 2006
- Chemical Communications
PaperRunning Quake II on a grid
- Glenn Deen
- Matthew Hammer
- et al.
- 2006
- IBM Systems Journal
Paper