( en | de | ru )

 

Disambiguation of "Zhou, Min"

Author of the publication

copydeleteadd this publication to your clipboard
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.

Min Zhou

Min Zhou

Zhou Zhou

Zhou Zhou

Min Tian

 

Other publications of authors with the same name

Model Checking of Systems Employing Commutative Functions., , and . VMCAI, volume 3385 of Lecture Notes in Computer Science, page 250-266. Springer, (2005)Electric Vehicles En-Route Charging Navigation Systems: Joint Charging and Routing Optimization., , , , and . IEEE Trans. Contr. Sys. Techn., 27 (2): 906-914 (2019)Efficiently Generating Multiple Representations for Web Mapping., and . W2GIS, volume 3833 of Lecture Notes in Computer Science, page 54-65. Springer, (2005)Long Short Term Memory Model for Analysis and Forecast of PM2.5., , , and . ICCCS (1), volume 11063 of Lecture Notes in Computer Science, page 623-634. Springer, (2018)Scalable and Extensible Static Memory Safety Analysis with Summary over Access Path., , , and . APSEC, page 298-304. IEEE, (2018)Efficient and consistent line simplification for web mapping., and . Int. J. Web Eng. Technol., 3 (2): 139-156 (2007)A Data Structure for Efficient Transmission of Generalised Vector Maps., and . International Conference on Computational Science, volume 3039 of Lecture Notes in Computer Science, page 948-955. Springer, (2004)Incorporating track records of agents into matchmaking in middle agents., and . IJISTA, 4 (3/4): 285-300 (2008)A Unified Framework for DPLL(T) + Certificates., , , , and . J. Appl. Math., (2013)Pedestrian Choice Modeling and Simulation of Staged Evacuation Strategies in Daya Bay Nuclear Power Plant., , , , and . IEEE Trans. Comput. Soc. Syst., 7 (3): 686-695 (2020)