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
3606 results for Mathematical Sciences
On the number of realizations of certain Henneberg graphs arising in protein conformation
- Leo Liberti
- Benoît Masson
- et al.
- 2014
- Discrete Applied Mathematics
PaperHybrid halftoning using direct multi-bit search (DMS) screen algorithm
- Kartheek Chandu
- Mikel Stanich
- et al.
- 2014
- CI-DPHA 2014
Conference paperA reference web architecture and patterns for real-time visual analytics on large streaming data
- Eser Kandogan
- Danny Soroker
- et al.
- 2014
- VDA 2014
Conference paperA Riesz energy based approach to generating dispersed dot patterns for halftoning applications
- Chai Wah Wu
- Barry Trager
- et al.
- 2014
- CI-DPHA 2014
Conference paperGlyphSea: Visualizing vector fields
- Emmett McQuinn
- Amit Chourasia
- et al.
- 2014
- VDA 2014
Conference paperSensitivity analysis of markup equilibria in complementary markets
- José R. Correa
- Roger Lederman
- et al.
- 2014
- Operations Research Letters
PaperExtremal norms for positive linear inclusions
- Oliver Mason
- Fabian Wirth
- 2014
- Linear Algebra and Its Applications
PaperCohesive zone model for high-cycle fatigue of adhesively bonded joints under mode i loading
- M. F.S.F. de Moura
- J. P.M. Gonçalves
- 2014
- Int. J. Solids Struct.
PaperCharacterization and mitigation of overlay error on silicon wafers with nonuniform stress
- T.A. Brunner
- V. Menon
- et al.
- 2014
- SPIE Advanced Lithography 2014
Conference paper