Robert Cowen - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 17 from 17

2018

A Beginner's Guide to Mathematical LogicRobert Cowen. tamm, 125(2):188-192, 2018. [doi]

2015

Deleting Edges from Ramsey Minimal ExamplesRobert Cowen. tamm, 122(7):681-683, 2015. [doi]

2010

Generalized Davis-Putnam and satisfiability problems in mathematicsRobert Cowen. igpl, 18(3):456-463, 2010. [doi]

2009

2-CNFS and Logical EmbeddingsRobert Cowen. sLogica, 93(1):15-19, 2009. [doi]

2008

Totally Greedy Coin Sets and Greedy ObstructionsLenore J. Cowen, Robert Cowen, Arthur Steinberg. combinatorics, 15(1), 2008. [doi]

2007

Odd neighborhood transversals on grid graphsRobert Cowen, Stephen H. Hechler, John W. Kennedy, Arthur Steinberg. DM, 307(17-18):2200-2208, 2007. [doi]

Davis-Putnam Style Rules for Deciding Property SRobert Cowen, Adam Kolany. FUIN, 79(1-2):5-15, 2007. [doi]

2001

Property SRobert Cowen. rml, 35:61-74, 2001. [doi]

1998

A Compactness Theorem for Infinite Constraint SatisfactionRobert Cowen. rml, 32:97-107, 1998. [doi]

1996

A compactness theorem for linear equationsRobert Cowen, William Emerson. sLogica, 57(2/3):355-357, 1996.

1993

Some Connections Between Set Theory and Computer ScienceRobert Cowen. kgc 1993: 14-22

Combinatorial Analytic TableauxRobert Cowen. rml, 27:29-39, 1993. [doi]

BREAKUP: a preprocessing algorithm for satisfiability testing of CNF formulasRobert Cowen, Katherine Wyatt. ndjfl, 34(4):602-606, 1993. [doi]

1991

Hypergraph SatisfiabilityRobert Cowen. rml, 25, 1991. [doi]

1990

Two Hypergraph Theorems Equivalent to BPIRobert Cowen. ndjfl, 31(2):232-240, 1990.

1986

Defective colorings of graphs in surfaces: Partitions into subgraphs of bounded valencyLenore J. Cowen, Robert Cowen, D. R. Woodall. jgt, 10(2):187-195, 1986. [doi]

1983

Compactness via prime semilatticesRobert Cowen. ndjfl, 24(2):199-204, 1983. [doi]

Sign in or sign up to see more results.

runs on WebDSL