1
Leonard M Canale, Henry A Kautz, Allen E Milewski, Bart Selman: Message filtering techniques. Lucent Technologies, Gordon E Nelson, David Volejnicek, April 8, 1997: US05619648 (616 worldwide citation)

Techniques for reducing the amount of junk e-mail received by a user of an e-mail system. A recipient description containing non-address information is added to an e-mail message. The user has an e-mail filter which has access to information which provides a model of the user. The e-mail filter uses ...


2
Henry A Kautz, Bart Selman: Methods and apparatus for constraint satisfaction. Lucent Technologies, Gordon E Nelson, June 3, 1997: US05636328 (31 worldwide citation)

A technique for finding values which satisfy a set of constraints. The technique is used with local search procedures for finding such values and overcomes the tendency of such local search procedures to "get stuck" at local minima. The technique dynamically adds weight to constraints in the set whi ...


3
Henry A Kautz, Bart Selman: Optimization of information bases. AT&T Bell Laboratories, Gordon E Nelson, November 2, 1993: US05259067 (8 worldwide citation)

A technique for increasing the efficiency of a system such as an artificial intelligence system or a data base system in which a query is applied to a set of formulas. The technique creates an approximation of the set of formulas which is computationally more tractable than the original set. The ori ...