Tradeoffs in the complexity of backdoors to satisfiability: Dynamic sub-solvers and learning during search
- Bistra Dilkina
- Carla P. Gomes
- et al.
- 2014
- Ann. Math. Artif. Intell.
Paper
Publications
26945 results for Science
Real-time reflectance-difference spectroscopy of GaAs molecular beam epitaxy homoepitaxial growth
- A. Lastras-Martínez
- J. Ortega-Gallegos
- et al.
- 2014
- APL Materials
PaperSnO2 anode surface passivation by atomic layer deposited HfO2 improves li-ion battery performance
- Nulati Yesibolati
- Muhammad Shahid
- et al.
- 2014
- Small
PaperNew insights into the analysis of the electrode kinetics of flavin adenine dinucleotide redox center of glucose oxidase immobilized on carbon electrodes
- Alexandr N. Simonov
- Willo Grosse
- et al.
- 2014
- Langmuir
PaperIrredundant tandem motifs
- Laxmi Parida
- Cinzia Pizzi
- et al.
- 2014
- Theoretical Computer Science
PaperVariability in DNA methylation defines novel epigenetic subgroups of DLBCL associated with different clinical outcomes
- Nyasha Chambwe
- Matthias Kormaksson
- et al.
- 2014
- Blood
PaperOn the number of realizations of certain Henneberg graphs arising in protein conformation
- Leo Liberti
- Benoît Masson
- et al.
- 2014
- Discrete Applied Mathematics
PaperA synchronous parallel max-flow algorithm for real-world networks
- Guojing Cong
- 2014
- HPCC-ICESS-CSS 2014
Conference paperVirtual firewall performance as a waypoint on a software defined overlay network
- Casimer DeCusatis
- Peter Mueller
- 2014
- HPCC-ICESS-CSS 2014
Conference paperHeart rate variability for preclinical detection of secondary complications after subarachnoid hemorrhage
- J. Michael Schmidt
- Daby Sow
- et al.
- 2014
- Neurocritical Care
Paper