RAPS: A Rule-Based Language for Specifying Resource Allocation and Time-Tabling. - Gadi Solotorevsky; Ehud Gudes; Amnon Meisels (IEEE Trans. Knowl. Data Eng., 1994)

TRAPS - A Time Dependent Resource Allocation Language. - G. Trzewik; Ehud Gudes; Amnon Meisels; Gadi Solotorevsky (NGITS, 1995)

Employee Timetabling, Constraint Networks and Knowledge-Based Rules: A Mixed Approach. - Amnon Meisels; Ehud Gudes; Gadi Solotorevsky (PATAT, 1995)

Algorithms for Solving Distributed Constraint Satisfaction Problems (DCSPs). - Gadi Solotorevsky; Ehud Gudes (AIPS, 1996)

From Evaluating Upper Bounds of the Complexity of Solving CSPs to Finding All the Solutions of CSPs. - Gadi Solotorevsky (CP, 1996)

Modeling and Solving Distributed Constraint Satisfaction Problems (DCSPs). - Gadi Solotorevsky; Ehud Gudes; Amnon Meisels (CP, 1996)

Bayes Networks for Estimating the Number of Solutions to a CSP. - Amnon Meisels; Solomon Eyal Shimony; Gadi Solotorevsky (AAAI/IAAI, 1997)

Combining rules and constraints for employee timetabling. - Amnon Meisels; Ehud Gudes; Gadi Solotorevsky (Int. J. Intell. Syst., 1997)

CSPs with counters: a likelihood-based heuristic. - Gadi Solotorevsky; Solomon Eyal Shimony; Amnon Meisels (J. Exp. Theor. Artif. Intell., 1998)

Bayes networks for estimating the number of solutions of constraint networks. - Amnon Meisels; Solomon Eyal Shimony; Gadi Solotorevsky (Ann. Math. Artif. Intell., 2000)