Boolean satisfiability with transitivity constraints
- 期刊名称ACM Transactions on Computational Logic
- 作者Bryant, Randal E.; Velev, Miroslav N.
- 卷第3卷
- 期第4期
- 印刷ISSN1529-3785
- 文件大小278.22KB
- 发表时间2002-10-1
- DOI10.1145/566385.566390
- 页码604-627
Choice of Pacemaker Mode in High-Grade Heart BlockDeSilvey, Dennis L.; DeSilvey, Dennis L. · The American Journal of Geriatric Cardiology · 2005
The HOPE TrialDeSilvey, Dennis L. · The American Journal of Geriatric Cardiology · 2000
MADIT II: Lessons to LearnDeSilvey, Dennis L. · The American Journal of Geriatric Cardiology · 2003
SELECT PANEL OF REVIEWERSDeSilvey, Dennis L. · The Career Development Quarterly · 1991
CARDIOPULMONARY CRITICAL CARE, SECOND EDITIONDeSilvey, Dennis L. · Military Medicine · 1993
Letters to the EditorDeSilvey, Dennis L. · Military Medicine · 1999
Risk of Thrombolysis in the ElderlyDeSilvey, Dennis L. · The American Journal of Geriatric Cardiology · 2000
Hyperlipidemia in the Elderly: Two New ObservationsDeSilvey, Dennis L. · The American Journal of Geriatric Cardiology · 2002
Cardiovascular Physiology?Changes With AgingCheitlin, Melvin D. · The American Journal of Geriatric Cardiology · 2003
Alcohol?A Cardiovascular Drug?Giles, Thomas D.; Sander, Gary E. · The American Journal of Geriatric Cardiology · 2005
Cusp Configuration in Aortic StenosisRoberts, Charles Stewart · The American Journal of Geriatric Cardiology · 2007
Society of Geriatric CardiologySteingart, Richard M.; Macina, Gregory · The American Journal of Geriatric Cardiology · 2000
Wenckebach (Mobitz I) Atrioventricular BlockSpodick, David H. · The American Journal of Geriatric Cardiology · 2000
Letter to the EditorKim, Dukpa; Oka, Tatsushi · The American Journal of Geriatric Cardiology · 2004
Society of Geriatric CardiologyMaurer, Mathew S. · The American Journal of Geriatric Cardiology · 2007
Exercise and Elderly PersonsWenger, Nanette K.; Scheidt, Stephen; Weber, Michael A. · The American Journal of Geriatric Cardiology · 2001