- Title:
- Extended beam search for non-exhaustive state space analysis
- Authors:
- Source:
- Journal of Logic & Algebraic Programming. Jan2012, Vol. 81 Issue 1, p46-69. 24p.
Academic Journal
Dear user, the application need JavaScript support. Please enable JavaScript in your browser.