Sciweavers

32 search results - page 7 / 7
» A sharp threshold in proof complexity
Sort
View
SCM
1998
13 years 6 months ago
PRCS: The Project Revision Control System
PRCS is an attempt to provide a version-control system for collections of les with a simple operational model, a clean user interface, and high performance. PRCS is characterized b...
Josh MacDonald, Paul N. Hilfinger, Luigi Semenzato
IAT
2007
IEEE
13 years 11 months ago
Revisiting ADOPT-ing and its Feedback Schemes
Here we revisit ADOPT-ing and bring two new contributions. One contribution consists of developing variations on the algorithms keeping the improvement in length of chain of causa...
Marius-Calin Silaghi, Makoto Yokoo