Neil V. Murray

Affiliations: 
Computer Science State University of New York, Albany, Albany, NY, United States 
Area:
Computer Science, Logic
Google:
"Neil Murray"
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Matusiewicz A, Murray NV, Olsen PW, et al. (2017) Computing prime implicates by pruning the search space and accelerating subsumption Journal of Logic and Computation. 27: 961-983
Matusiewicz A, Murray NV, Rosenthal E. (2011) Tri-based set operations and selective computation of prime implicates Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6804: 203-213
Murray NV, Rosenthal E. (2010) Identifying prime implicate branches in reduced implicate tries Fundamenta Informaticae. 99: 227-243
Murray NV, Rosenthal E. (2010) Reduced implicate tries with updates Journal of Logic and Computation. 20: 261-281
Murray NV, Rosenthal E. (2010) Linear response time for implicate and implicant queries Knowledge and Information Systems. 22: 287-317
Murray NV, Rosenthal E. (2009) Prime implicates and reduced implicate tries Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5722: 191-200
Matusiewicz A, Murray NV, Rosenthal E. (2009) Prime implicate tries Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5607: 250-264
Matusiewicz A, Murray NV, Rosenthal E. (2009) Reduced implicate tries and logical operations Keod 2009 - 1st International Conference On Knowledge Engineering and Ontology Development, Proceedings. 456-459
Murray NV, Rosenthal E. (2008) Reduced implicate/implicant tries Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4994: 203-214
Murray NV, Rosenthal E. (2007) Efficient query processing with reduced implicate tries Journal of Automated Reasoning. 38: 155-172
See more...