| C94-1072 | knowledge t } , e only ) implemented | feature constraint solver | that integrates both full negation |
| C94-2144 | DISCO consists of T/IPS and the | feature constraint solver | / / D/A ~ \ -LSB- 3 \ -RSB- . |
| C94-1072 | Constraint Solver NDiAfe is a | feature constraint solver | capable of dealing with distributed |
