Crossmark

A Sampling-Based Method to Estimate the Volume of Solution Space for Linear Arithmetic Constraints

Published Online: 2024-07-04

Published Print: 2025-12

Authors

Xie, Yan-Feng

Yuan, Chun-Ming

Jing, Rui-Juan
License Information

Text and Data Mining valid from 2024-07-04

Version of Record valid from 2024-07-04
More Information

Article History

Received: 13 November 2023

Revised: 2 April 2024

First Online: 4 July 2024

Conflict of Interest

: The authors declare no conflict of interest.

Document is current