Robert Cowen

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