papers
Publications (6)
cs.LO2011
Lifted Unit Propagation for Effective Grounding
Pashootan Vaezipoor, David Mitchell, Maarten Mariën
nucl-th1995
Universal Predictions for Statistical Nuclear Correlations
Dimitri Kusnezov, David Mitchell
cs.IT2019
Efficient Search and Elimination of Harmful Objects in Optimized QC SC-LDPC Codes
Massimo Battaglioni, Franco Chiaraluce, Marco Baldi +1
cs.AI2017
Propagators and Solvers for the Algebra of Modular Systems
Bart Bogaerts, Eugenia Ternovska, David Mitchell
astro-ph.EP2018
Modeling Martian Atmospheric Losses over Time: Implications for Exoplanetary Climate Evolution and Habitability
Chuanfei Dong, Yuni Lee, Yingjuan Ma +11
astro-ph.EP2016
Precise radial velocities of giant stars IX. HD 59686 Ab: a massive circumstellar planet orbiting a giant star in a ~13.6 au eccentric binary system
Mauricio Ortiz, Sabine Reffert, Trifon Trifonov +11