iBet uBet web content aggregator. Adding the entire web to your favor.

Link to original content: https://dblp.org/pid/57/7459.rss

dblp: Andrew Matusiewicz https://dblp.org/pid/57/7459.html dblp person page RSS feed Thu, 25 Apr 2024 05:49:56 +0200 en-US daily 1 released under the CC0 1.0 license dblp@dagstuhl.de (dblp team) dblp@dagstuhl.de (dblp team) Computers/Computer_Science/Publications/Bibliographies http://www.rssboard.org/rss-specification https://dblp.org/img/logo.144x51.pngdblp: Andrew Matusiewiczhttps://dblp.org/pid/57/7459.html14451 Computing prime implicates by pruning the search space and accelerating subsumption.https://doi.org/10.1093/logcom/exv071Andrew 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): 961-983 (2017)]]>https://dblp.org/rec/journals/logcom/MatusiewiczMOR17Sun, 01 Jan 2017 00:00:00 +0100 Peer instruction in computer science at small liberal arts colleges.https://doi.org/10.1145/2462476.2465587Leo Porter

, Saturnino Garcia, John Glick, Andrew Matusiewicz, Cynthia Bagier Taylor:
Peer instruction in computer science at small liberal arts colleges. ITiCSE 2013: 129-134]]>https://dblp.org/rec/conf/iticse/PorterGGMT13Tue, 01 Jan 2013 00:00:00 +0100 Tri-Based Set Operations and Selective Computation of Prime Implicates.https://doi.org/10.1007/978-3-642-21916-0_23Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal:
Tri-Based Set Operations and Selective Computation of Prime Implicates. ISMIS 2011: 203-213]]>https://dblp.org/rec/conf/ismis/MatusiewiczMR11Sat, 01 Jan 2011 00:00:00 +0100 A Dynamic Programming Algorithm for Prime Implicates.https://dblp.org/pid/57/7459.htmlAndrew Matusiewicz:
A Dynamic Programming Algorithm for Prime Implicates. TABLEAUX (Workshops, Tutorials, and Short Papers) 2011: 87-91]]>https://dblp.org/rec/conf/tableaux/Matusiewicz11Sat, 01 Jan 2011 00:00:00 +0100 Trie Based Subsumption and Improving the pi-Trie Algorithm.https://doi.org/10.29007/q7h3Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal:
Trie Based Subsumption and Improving the pi-Trie Algorithm. PAAR@IJCAR 2010: 74-83]]>https://dblp.org/rec/conf/cade/MatusiewiczMR10Fri, 01 Jan 2010 00:00:00 +0100 Reduced Implicate Tries and Logical Operations.https://dblp.org/pid/57/7459.htmlAndrew Matusiewicz, Neil V. Murray, Erik Rosenthal:
Reduced Implicate Tries and Logical Operations. KEOD 2009: 456-459]]>https://dblp.org/rec/conf/ic3k/MatusiewiczMR09Thu, 01 Jan 2009 00:00:00 +0100 Prime Implicate Tries.https://doi.org/10.1007/978-3-642-02716-1_19Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal:
Prime Implicate Tries. TABLEAUX 2009: 250-264]]>https://dblp.org/rec/conf/tableaux/MatusiewiczMR09Thu, 01 Jan 2009 00:00:00 +0100