Access Repository

Note: Clicking the button above will open the full text document at the original institutional repository in a new window.

Resolution Trees with Lemmas: Resolution Refinements that Characterize DLL Algorithms with Clause Learning

Saved in:

Bibliographic Details
Published in:	Logical Methods in Computer Science
Format:	Online Article RSS Article
Published:	2008
Subjects:	Computer Science & Information Science Computer Science & IT Engineering & Technology Journal Article
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet