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.
Publications
3596 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
A reference web architecture and patterns for real-time visual analytics on large streaming data
- Eser Kandogan
- Danny Soroker
- et al.
- 2014
- VDA 2014
Hybrid halftoning using direct multi-bit search (DMS) screen algorithm
- Kartheek Chandu
- Mikel Stanich
- et al.
- 2014
- CI-DPHA 2014
GlyphSea: Visualizing vector fields
- Emmett McQuinn
- Amit Chourasia
- et al.
- 2014
- VDA 2014
A Riesz energy based approach to generating dispersed dot patterns for halftoning applications
- Chai Wah Wu
- Barry Trager
- et al.
- 2014
- CI-DPHA 2014
Extremal norms for positive linear inclusions
- Oliver Mason
- Fabian Wirth
- 2014
- Linear Algebra and Its Applications
Sensitivity analysis of markup equilibria in complementary markets
- José R. Correa
- Roger Lederman
- et al.
- 2014
- Operations Research Letters
Cohesive 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.
Computational lithography platform for 193i-guided directed self-assembly
- Kafai Lai
- Melih Ozlem
- et al.
- 2014
- SPIE Advanced Lithography 2014