Truth Maintenance Systems

Implementations

• In 1977, Richard Stallman and Gerald Jay Sussman, published a technique named "dependency directed backtracking". http://citeseer.ist.psu.edu/mcallester90truth.html
• CML2, a Linux kernel configuration system developed by Eric Raymond, made use of a truth maintenance system. However, CML2 was never accepted by the Linux developers.

External Links

• Citeseer reference

<< Previous Word Browser Next >>
defense acquisition university uxbridge by election, 1997 alliance for democracy and federation the bear and the dragon united states senate democratic conference chairman national council of the union of burma soyuz t 10 1 international day to eliminate violence against women ontario provincial highway 4 sam rainsy party te uru ra'i ari'i mate tamatoa tau tu tamatoa vi	yo (cyrillic) sacha distel official opposition shadow cabinet (uk) yuri rubinsky memorial award soyuz t 10 paisley south by election, 1997 yamid haad kendriya vidyalaya cape vulture soyuz t 11 george cypher	the indian institute of planning and management a1 (shipping) monty bodkin united states senate republican policy committee chairman soyuz t 12 official opposition shadow cabinet (australia) united states senate democratic policy committee chairman sinclair radionics ltd netaji subhash chandra bose international airport micrographia indian renaming controversy	michael cypher salford (hundred) salfordshire chase (dell brandstone) bipin chandra pal louis, the grand dauphin the bird man beckenham by election, 1997 treaty of london, 1700 west derby (hundred) fleet marine force enlisted warfare specialist insignia