共 50 条
- [21] Explanations and numeric CSPs PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2004, PROCEEDINGS, 2004, 3258 : 805 - 805
- [22] CSPS: an interactive tool for control design and analysis of processes with industrial characteristics IFAC PAPERSONLINE, 2020, 53 (02): : 17362 - 17367
- [23] General Bounds on Satisfiability Thresholds for Random CSPs via Fourier Analysis THIRTY-FIRST AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 3958 - 3965
- [24] A Characterization of Approximability for Biased CSPs PROCEEDINGS OF THE 54TH ANNUAL ACM SIGACT SYMPOSIUM ON THEORY OF COMPUTING (STOC '22), 2022, : 989 - 997
- [25] A dichotomy theorem for nonuniform CSPs 2017 IEEE 58TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS), 2017, : 319 - 330
- [26] Variable Elimination in Binary CSPs JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2019, 66 : 589 - 624
- [30] Variable Dependencies of Quantified CSPs LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2008, 5330 : 512 - 527