Author of the publication

Fast Incremental Unit Propagation by Unifying Watched-literals and Local Repair

. Massachusetts Institute of Technology, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Review on Energy, Environmental, and Sustainability Implications of Connected and Automated Vehicles., , , , and . CoRR, (2019)Individual-based modelling of fish population dynamics in the river downstream under flow regulation., , , , and . Ecol. Informatics, 5 (2): 115-123 (2010)LPV Modeling and Switched Control for EGR Valves with Dry Friction., , and . CCTA, page 400-405. IEEE, (2019)A Practical MPC Method for Autonomous Driving Longitudinal Dynamic Control's Real-World Challenges., , , , , and . ITSC, page 1435-1441. IEEE, (2023)C3: Consensus Cancer Driver Gene Caller., , , , , , , , , and . Genom. Proteom. Bioinform., 17 (3): 311-318 (2019)Data imbalance in CRISPR off-target prediction., , , , and . Briefings Bioinform., 21 (4): 1448-1454 (2020)Fast Incremental Unit Propagation by Unifying Watched-literals and Local Repair. Massachusetts Institute of Technology, (2006)Gaussian Process Model of Uncertainty in Safety-Critical Autonomous Driving., , , , , , and . ITSC, page 4436-4442. IEEE, (2023)Cellular automata based simulation of random versus selective harvesting strategies in predator-prey systems., , and . Ecol. Informatics, 3 (3): 252-258 (2008)Fu-Huang ointment ameliorates impaired wound healing associated with diabetes through PI3K-AKT signalling pathway activation., , , , , , , and . Comput. Biol. Medicine, (March 2023)