共 50 条
- [22] An Efficient Lazy SMT Solver for Nonlinear Numerical Constraints 2012 IEEE 21ST INTERNATIONAL WORKSHOP ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE), 2012, : 324 - 329
- [23] Techniques for Efficient Lazy-Grounding ASP Solving DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, DECLARE 2017, 2018, 10997 : 132 - 148
- [24] Efficient lazy algorithms for minimal-interval semantics STRING PROCESSING AND INFORMATION RETRIEVAL, PROCEEDINGS, 2006, 4209 : 134 - 149
- [27] Recruitment and Screening for the Testosterone Trials JOURNALS OF GERONTOLOGY SERIES A-BIOLOGICAL SCIENCES AND MEDICAL SCIENCES, 2015, 70 (09): : 1105 - 1111
- [28] Recruitment for Lung Cancer Screening JOURNAL OF THORACIC ONCOLOGY, 2017, 12 (11) : S2168 - S2169