Showing cs.LOShow all
2 papers · 1 filter
cs.LO2024
Formally Certified Approximate Model Counting
Yong Kiam Tan, Jiong Yang, Mate Soos +2
Approximate model counting is the task of approximating the number of solutions to an input Boolean formula. The state-of-the-art approximate model counter for formulas in conjunct…
cs.LO2018
Clocked Definitions in HOL
Ramana Kumar, Magnus O. Myreen
Many potentially non-terminating functions cannot be directly defined in a logic of total functions, such as HOL. A well-known solution to this is to define non-terminating functio…