共 50 条
- [43] Turing Machines with Atoms, Constraint Satisfaction Problems, and Descriptive Complexity PROCEEDINGS OF THE JOINT MEETING OF THE TWENTY-THIRD EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC (CSL) AND THE TWENTY-NINTH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2014,
- [44] Enumeration Strategies for Solving Constraint Satisfaction Problems: A Performance Evaluation ARTIFICIAL INTELLIGENCE PERSPECTIVES AND APPLICATIONS (CSOC2015), 2015, 347 : 169 - 179
- [47] Enumeration Strategies to Solve Constraint Satisfaction Problems Performance evaluation 2015 10TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), 2015,