Andrew Matusiewicz

Publication Activity (10 Years)

Years Active: 2009-2017
Publications (10 Years): 1

Top Topics

Pruning The Search Space

Prime Implicates

Computer Science

Top Venues

J. Log. Comput.

Publications

Andrew Matusiewicz, Neil V. Murray, Paul W. Olsen, Erik Rosenthal
Computing prime implicates by pruning the search space and accelerating subsumption. J. Log. Comput. 27 (4) (2017)
Leo Porter, Saturnino Garcia, John Glick, Andrew Matusiewicz, Cynthia Bagier Taylor
Peer instruction in computer science at small liberal arts colleges. ITiCSE (2013)
Andrew Matusiewicz
A Dynamic Programming Algorithm for Prime Implicates. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal
Tri-Based Set Operations and Selective Computation of Prime Implicates. ISMIS (2011)
Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal
Trie Based Subsumption and Improving the pi-Trie Algorithm. PAAR@IJCAR (2010)
Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal
Reduced Implicate Tries and Logical Operations. KEOD (2009)
Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal
Prime Implicate Tries. TABLEAUX (2009)