![]() | ![]() |
1995 | ||
---|---|---|
2 | F. Buffoli, G. Degli Antoni, A. Marchese: OR-Parallellism in Theorem Proving: Speedups versus Timeout. Bulletin of the EATCS 55: (1995) | |
1994 | ||
1 | F. Buffoli: Split Resolution Tailoring Tableaux to Refute Clause Sets. GULP-PRODE (1) 1994: 155-169 |
1 | G. Degli Antoni | [2] |
2 | A. Marchese | [2] |