The LPSAT Engine & Its Application to Resource Planning.

Steven A. Wolfman, Daniel S. Weld

Browse the full IJCAI paper archive.