Fast Context Switching in Real-Time Propositional Reasoning.

P. Pandurang Nayak, Brian C. Williams

Browse the full AAAI paper archive.