Andrew Matusiewicz

According to our database, Andrew Matusiewicz authored at least 7 papers between 2009 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Computing prime implicates by pruning the search space and accelerating subsumption.

Andrew Matusiewicz, Neil V. Murray, Paul W. Olsen, Erik Rosenthal

J. Log. Comput., 2017

2013

Peer instruction in computer science at small liberal arts colleges.

Leo Porter, Saturnino Garcia, John Glick, Andrew Matusiewicz, Cynthia Bagier Taylor

Proceedings of the Innovation and Technology in Computer Science Education conference 2013, 2013

2011

A Dynamic Programming Algorithm for Prime Implicates.

Andrew Matusiewicz

Proceedings of the TABLEAUX 2011, 2011

Tri-Based Set Operations and Selective Computation of Prime Implicates.

Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal

Proceedings of the Foundations of Intelligent Systems - 19th International Symposium, 2011

2010

Trie Based Subsumption and Improving the pi-Trie Algorithm.

Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal

Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, 2010

2009

Prime Implicate Tries.

Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009

Reduced Implicate Tries and Logical Operations.

Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal

Proceedings of the KEOD 2009 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Funchal, 2009