Baker, Andrew B.

4 publications

AAAI 1994 Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems James M. Crawford, Andrew B. Baker

AAAI 1994 The Hazards of Fancy Backtracking Andrew B. Baker

IJCAI 1989 A Theorem Prover for Prioritized Circumscription Andrew B. Baker, Matthew L. Ginsberg

IJCAI 1989 Temporal Projection and Explanation Andrew B. Baker, Matthew L. Ginsberg