| * | 1995 |
| 5 | | Bernard A. Nadel:
Constraint Satisfaction in Prolog: Complexity and Theory-Based Heuristics.
Inf. Sci. 83(3&4): 113-131 (1995) |
| 1993 |
| 4 | EE | Bernard A. Nadel:
Precision Complexity Analysis: A Case Study using Insertion Sort.
Inf. Sci. 73(1-2): 139-189 (1993) |
| 1990 |
| 3 | | Bernard A. Nadel:
The Complexity of Constraint Satisfaction in Prolog.
AAAI 1990: 33-39 |
| 2 | EE | Bernard A. Nadel:
Representation Selection for Constraint Satisfaction: A Case Study Using n-Queens.
IEEE Expert 5(3): 16-23 (1990) |
| 1989 |
| 1 | | Bernard A. Nadel:
Constraint satisfaction algorithms.
Computational Intelligence 5: 188-224 (1989) |