Author of the publication

Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic.

, , , , , and . Theory Comput. Syst., 56 (2): 347-371 (2015)

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

Robot-Guided Crowd Evacuation in a Railway Hub Station in Case of Emergencies., , , , and . J. Intell. Robotic Syst., 104 (4): 67 (2022)CCLAS: A Practical and Compact Certificateless Aggregate Signature with Share Extraction., , , and . Int. J. Netw. Secur., 16 (2): 157-164 (2014)Elastic resource provisioning in hybrid mobile cloud for computationally intensive mobile applications., , and . J. Supercomput., 73 (9): 3683-3714 (2017)Iterative Designed Experiment Analysis (IDEA)., and . Qual. Reliab. Eng. Int., 32 (8): 2977-2986 (2016)Crowd Evacuation With Multi-Modal Cooperative Guidance in Subway Stations: Computational Experiments and Optimization., , , and . IEEE Trans. Comput. Soc. Syst., 10 (5): 2536-2545 (October 2023)Integrated Timetable Rescheduling for Multidispatching Sections of High-Speed Railways During Large-Scale Disruptions., , , , and . IEEE Trans. Comput. Soc. Syst., 9 (2): 366-375 (2022)Deep Deterministic Policy Gradient for High-Speed Train Trajectory Optimization., , , , , and . IEEE Trans. Intell. Transp. Syst., 23 (8): 11562-11574 (2022)Online model regression for nonlinear time-varying manufacturing systems., , , and . Autom., (2017)Optimal Spatial Sampling Criterion in a 2D THz Holographic Imaging System., , and . IEEE Access, (2018)Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic., , , , , and . Theory Comput. Syst., 56 (2): 347-371 (2015)