Robert Cowen

Publication Activity (10 Years)

Years Active: 1983-2018
Publications (10 Years): 2

Top Topics

Fault Diagnosis

Computational Intelligence

Industrial Systems

Top Venues

Publications

Robert Cowen
A Beginner's Guide to Mathematical Logic. Am. Math. Mon. 125 (2) (2018)
Robert Cowen
Deleting Edges from Ramsey Minimal Examples. Am. Math. Mon. 122 (7) (2015)
Robert Cowen
Adaptive Fault Diagnosis using Self-Referential Reasoning. CoRR (2014)
Robert Cowen
A Method for Constructing Minimally Unsatisfiable CNFs. CoRR (2012)
Robert Cowen
Generalized Davis-Putnam and satisfiability problems in mathematics. Log. J. IGPL 18 (3) (2010)
Robert Cowen
2-CNFS and Logical Embeddings. Stud Logica 93 (1) (2009)
Lenore J. Cowen, Robert Cowen, Arthur Steinberg
Totally Greedy Coin Sets and Greedy Obstructions. Electron. J. Comb. 15 (1) (2008)
Robert Cowen, Adam Kolany
Davis-Putnam Style Rules for Deciding Property S. Fundam. Informaticae 79 (1-2) (2007)
Robert Cowen, Stephen H. Hechler, John W. Kennedy, Arthur Steinberg
Odd neighborhood transversals on grid graphs. Discret. Math. 307 (17-18) (2007)
Robert Cowen
Property S. Reports Math. Log. 35 (2001)
Robert Cowen
A Compactness Theorem for Infinite Constraint Satisfaction. Reports Math. Log. 32 (1998)
Robert Cowen, William Emerson
A compactness theorem for linear equations. Stud Logica 57 (2/3) (1996)
Robert Cowen
Combinatorial Analytic Tableaux. Reports Math. Log. 27 (1993)
Robert Cowen, Katherine Wyatt
BREAKUP: a preprocessing algorithm for satisfiability testing of CNF formulas. Notre Dame J. Formal Log. 34 (4) (1993)
Robert Cowen
Some Connections Between Set Theory and Computer Science. Kurt Gödel Colloquium (1993)
Robert Cowen
Hypergraph Satisfiability. Reports Math. Log. 25 (1991)
Robert Cowen
Two Hypergraph Theorems Equivalent to BPI. Notre Dame J. Formal Log. 31 (2) (1990)
Lenore J. Cowen, Robert Cowen, Douglas R. Woodall
Defective colorings of graphs in surfaces: Partitions into subgraphs of bounded valency. J. Graph Theory 10 (2) (1986)
Robert Cowen
Compactness via prime semilattices. Notre Dame J. Formal Log. 24 (2) (1983)