A rearragement search strategy for Determining Propositional Satisfiability with Ramin Zhabih, AAAI-1988.
Partial Order Backtracking, Journal of Artificial Intelligene Research (JAIR) 1993.
GSAT and Dynamic Backtracking KR 1994, with Matt Ginsberg.
Encoding plans in propositional logic. KR, 1996 with Henry Kautz and Bart Selman.
Exploiting Variable Dependency in Local Search IJCAI, 1997, with Henry Kautz and Bart Selman.
Evidence for Invariants in Local Search AAAI, 1997, with Henry Kautz and Bart Selman.