"Two Improved Constraint-Solving Algorithms Based on lmaxRPC3rm."

Xirui Pan, Zhuyuan Cheng, Yonggang Zhang (2023)

Details and statistics

DOI: 10.3390/SYM15122151

access: open

type: Journal Article

metadata version: 2024-01-26

a service of  Schloss Dagstuhl - Leibniz Center for Informatics