| | 2001 | Bockmayr, Alexander
[Weispfenning, V.] | [Robinson, Alan]
[Voronkov, Andrei] | | Solving numerical constraints
In: Handbook of Automated Reasoning, 751-842 | Part of a Book | |
| | 2001 | [Fermüller, Christian G.]
[Leitsch, Alexander]
Hustadt, Ullrich
[Tammet, Tanel] | [Robinson, Alan]
[Voronkov, Andrei] | | Resolution Decision Procedures
In: Handbook of Automated Reasoning, 1793-1849 | Part of a Book | |
| | 2001 | Nonnengart, Andreas
[Ohlbach, Hans Jürgen]
[Gabbay, Dov M.] | Robinson, Alan
Voronkov, Andrei | | Encoding two-valued non-classical logics in classic logic
In: Handbook of Automated Reasoning, 1403-1486 | Part of a Book | |