22 |
| van der Torre, Leendert W. N. |
| |
1 |
| van Emde Boas, Peter (ed.) |
| |
2 |
| Van Hentenryck, Pascal (ed.) |
| |
1 |
| Vaz de Carvalho, Júlia (ed.) |
| |
| | 2005 | Korovin, Konstantin
[Voronkov, Andrei] | | Knuth-Bendix constraint solving is NP-complete
In: ACM Transactions on Computational Logic [6], 361-388 | Journal Article | |
| | 2003 | Korovin, Konstantin
[Voronkov, Andrei] | | AC-compatible Knuth-Bendix Order
In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 47-59 | Proceedings Article | |
| | 2003 | Korovin, Konstantin
[Voronkov, Andrei] | | Orienting Equalities with the Knuth-Bendix Order
In: 18th Annual IEEE Symposium on Logic in Computer Science (LICS-03), 75-84 | Proceedings Article | |
| | 2003 | Korovin, Konstantin
[Voronkov, Andrei] | | Orienting rewrite rules with the Knuth-Bendix order
In: Information and Computation [183], 165-186 | Journal Article | |
| | 2001 | [Nieuwenhuis, Robert]
Hillenbrand, Thomas
[Riazanov, Alexandre]
[Voronkov, Andrei] | | On the Evaluation of Indexing Techniques for Theorem Proving
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 257-271 | Proceedings Article | |