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) |