Fast incremental unit propagation by unifying watched-literals and local repair

Fast incremental unit propagation by unifying watched-literals and local repair

Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2006.

Bibliographic Details
Main Author:	Qu, Shen, S.M. Massachusetts Institute of Technology
Other Authors:	Brian C. Williams.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2007
Subjects:	Aeronautics and Astronautics.
Online Access:	http://hdl.handle.net/1721.1/37691

Similar Items

Development of an incremental and iterative risk reduction facility for robotic servicing and assembly missions
by: Sternberg, David Charles, Ph. D. Massachusetts Institute of Technology
Published: (2014)

Fast execution of temporal plans with mixed discrete-continuous state constraints
by: Chen, Jingkai(Scientist in aeronautics and astronautics)Massachusetts Institute of Technology.
Published: (2019)

Micro-electromagnetic formation flight of satellite systems
by: Sakaguchi, Aya, S.M. Massachusetts Institute of Technology
Published: (2007)

Study of particulate matter formation and evolution in near-field aircraft plumes using a one-dimensional microphysical model
by: Zhang, Jianye, S.M. Massachusetts Institute of Technology
Published: (2007)

Robust crew pairing : delays analysis and implementation of optimization approaches
by: Leroyer, Pierre, S.M. Massachusetts Institute of Technology
Published: (2007)

Centrifugal compressor return channel shape optimization using adjoint method
by: Guo, Wei, S.M. Massachusetts Institute of Technology
Published: (2014)

Air flow effects in the piston ring pack and their implications on oil transport
by: Wang, Yuan, S.M. Massachusetts Institute of Technology
Published: (2013)

Acoustic and thermal packaging of small gas turbines for portable power
by: Tanaka, Shinji, S.M. Massachusetts Institute of Technology
Published: (2010)

An operational feasibility assessment for extravehicular activity in human spaceflight under communication delay using an underwater research analogue
by: Stanković, Aleksandra, S.M. Massachusetts Institute of Technology
Published: (2015)

Investigation of a space-time adaptive method for bluff body flows
by: Hu, Yixuan, S.M. Massachusetts Institute of Technology
Published: (2017)

A meshfree method for the Poisson equation with 3D wall-bounded flow application
by: Vasilyeva, Anna, S.M. Massachusetts Institute of Technology
Published: (2011)

Reconfigurable wheels : re-inventing the wheel for the next generation of planetary rovers
by: Baker, Brittany, S.M. Massachusetts Institute of Technology
Published: (2012)

Study of an advanced helmet liner concept to reduce TBI : experiments & simulation using sandwich structures
by: Goel, Rahul, S.M. Massachusetts Institute of Technology
Published: (2011)

Improvements to a fully kinetic Hall thruster simulation code and characterization of the cylindrical cusped field thruster
by: Boulanger, Louis, S.M. Massachusetts Institute of Technology
Published: (2014)

Trust and human performance in automated formation flight station-keeping
by: Jang, Jinho, S.M. Massachusetts Institute of Technology
Published: (2006)

Optimization of neural network feedback control systems using automatic differentiation
by: Rollins, Elizabeth, S.M. Massachusetts Institute of Technology
Published: (2010)

An optimization based algorithm for Bayesian inference
by: Wang, Zheng, S.M. Massachusetts Institute of Technology
Published: (2015)

Blackbox Stencil Interpolation Method for model reduction
by: Chen, Han, S.M. Massachusetts Institute of Technology
Published: (2013)

Vehicle health monitoring using stochastic constraint suspension
by: Rossi, Christopher, S.M. Massachusetts Institute of Technology
Published: (2013)

Design of a 50-watt air supplied turbogenerator
by: Jovanovic, Stevan, S.M. Massachusetts Institute of Technology
Published: (2009)

Aircraft cruise phase altitude optimization considering contrail avoidance
by: Gao, Hang, S.M. Massachusetts Institute of Technology
Published: (2014)

Experimental validation of the efficient robotic transportation algorithm for large-scale flexible space structures
by: Ono, Masahiro, S.M. Massachusetts Institute of Technology
Published: (2008)

The air quality and health impacts of aviation in Asia
by: Lee, In Hwan, S.M. Massachusetts Institute of Technology
Published: (2013)

Optomechanical and wavelength alignments of CubeSat laser communication Systems
by: Lee, Myron, S.M. Massachusetts Institute of Technology
Published: (2017)

Analysis of the pressure-wall interaction at the release of a stop closure
by: Chen, Lan, S.M. Massachusetts Institute of Technology
Published: (2011)

Fusion of correlated information in multifidelity aircraft design optimization
by: Zhao, Zipeng, S.M. Massachusetts Institute of Technology
Published: (2015)

Characterization of cavitation instabilities in rocket engine turbopump inducers
by: Wang, Vincent, S.M. Massachusetts Institute of Technology
Published: (2017)

Towards a framework for architecting heterogeneous teams of humans and robots for space exploration
by: Arnold, Julie Ann, S.M. Massachusetts Institute of Technology
Published: (2007)

Improved return passages for multistage centrifugal compressors
by: Glass, Benjamin W., S.M. Massachusetts Institute of Technology
Published: (2011)

Acquisition and control of a precision formation flying mission
by: Field, John M., S.M. Massachusetts Institute of Technology
Published: (2010)

Turbofan engine sizing and tradeoff analysis via signomial programming/
by: York, Martin A., S.M. Massachusetts Institute of Technology
Published: (2017)

Design of power systems for extensible surface mobility systems on the Moon and Mars
by: Hong, SeungBum, S.M. Massachusetts Institute of Technology
Published: (2009)

Terrain relative localization for lunar entry, descent, and landing
by: Hale, Matthew J., S.M. Massachusetts Institute of Technology
Published: (2009)

Planar feasibility study for primary mirror control of large imaging space systems using binary actuators
by: Lee, Seung Jae, S.M. Massachusetts Institute of Technology
Published: (2011)

Design and implementation of the state estimator for trajectory following of an electromagnetic formation flight testbed
by: Lee, Sang-il, S.M. Massachusetts Institute of Technology
Published: (2009)

Framework for evaluating customer value and the feasibility of servicing architectures for on-orbit satellite servicing
by: Long, Andrew Michael, S.M. Massachusetts Institute of Technology
Published: (2006)

Optimal estimation of ionosphere-induced group delays of global positioning satellite signals during launch, orbit and re-entry
by: Johnson, Andrea Marie, S.M. Massachusetts Institute of Technology
Published: (2011)

Conceptual aircraft design for environmental impact : modeling operations for emissions assessment
by: King, Daniel J., S.M. Massachusetts Institute of Technology
Published: (2006)

Experimental investigation of the effects of imperfections on the behavior of composite scarf joints
by: Jones, Elizabeth A., S.M. Massachusetts Institute of Technology
Published: (2017)

Design considerations for an indoor location service using 802.11 wireless signal strength
by: Lambeth, David M., S.M. Massachusetts Institute of Technology
Published: (2009)