Login / Signup
Solving Not-Substring Constraint withFlat Abstraction.
Parosh Aziz Abdulla
Mohamed Faouzi Atig
Yu-Fang Chen
Bui Phi Diep
Lukás Holík
Denghang Hu
Wei-Lun Tsai
Zhilin Wu
Di-De Yen
Published in:
APLAS (2021)
Keyphrases
</>
constraint problems
data structure
proximal point algorithm
resource constraints
linear constraints
data abstraction
constrained problems
database
neural network
information retrieval
genetic algorithm
information systems
optical flow
finite domain