Author of the publication

Approximating Integer Solution Counting via Space Quantification for Linear Constraints.

, , , , , and . IJCAI, page 1697-1703. ijcai.org, (2019)

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

WiFi-BA: Choosing arbitration over backoff in high speed multicarrier wireless networks., , and . INFOCOM, page 1375-1383. IEEE, (2013)Functional activity of the caudate mediates the relation between early childhood microstructural variations and elevated metabolic syndrome scores., , , , , , , , , and 6 other author(s). NeuroImage, (September 2023)Improving Bit-Blasting for Nonlinear Integer Constraints., , , , , and . ISSTA, page 14-25. ACM, (2023)Wireless Spectrum Occupancy Prediction Based on Partial Periodic Pattern Mining., , , and . MASCOTS, page 51-58. IEEE Computer Society, (2012)On Similarity of Financial Data Series Based on Fractal Dimension., , and . ADMA, volume 4093 of Lecture Notes in Computer Science, page 782-789. Springer, (2006)Energy Management Strategy for Hybrid Energy Storage System using Optimized Velocity Predictor and Model Predictive Control., , , , , and . IV, page 218-223. IEEE, (2022)Secure Authentication in Cross-Technology Communication for Heterogeneous IoT., , , and . DySPAN, page 1-2. IEEE, (2019)A Password-Based Mutual Authenticated Key Exchange Scheme by Blockchain for WBAN., , , and . ML4CS, volume 14541 of Lecture Notes in Computer Science, page 56-73. Springer, (2023)A Dual Prompt Learning Framework for Few-Shot Dialogue State Tracking., , , , , and . WWW, page 1468-1477. ACM, (2023)Are your apps accessible? A GCN-based accessibility checker for low vision users., , , , , and . Inf. Softw. Technol., (2024)