15 citations · 33 across the 13 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
math.OC2019
Solving Splitted Multi-Commodity Flow Problem by Efficient Linear Programming Algorithm
Liyun Dai, Hengjun Zhao, Zhiming Liu
Column generation is often used to solve multi-commodity flow problems. A program for column generation always includes a module that solves a linear equation. In this paper, we ad…
eess.SY2019★ 1 cited
Online Observability of Boolean Control Networks
Guisen Wu, Liyun Dai, Zhiming Liu +2
Observabililty is an important topic of Boolean control networks (BCNs). In this paper, we propose a new type of observability named online observability to present the sufficient…
cs.FL2019★ 1 cited
Nonlinear Craig Interpolant Generation
Ting Gan, Bican Xia, Bai Xue +2
Interpolation-based techniques have become popularized in recent years because of their inherently modular and local reasoning, which can scale up existing formal verification tech…