Todd Niven

14 papers A* 1A 2B 1Misc 1Journal 9
YearRankTypeTitle / Venue / Authors
2016 J jnl
Algebraic foundations for qualitative calculi and networks.
CoRR
Robin Hirsch, Marcel Jackson, Tomasz Kowalski, Todd Niven
2016 J jnl
Complexity and polymorphisms for digraph constraint problems under some basic constructions.
Int. J. Algebra Comput.
Marcel Jackson, Tomasz Kowalski, Todd Niven
2015 J jnl
A finer reduction of constraint problems to digraphs.
Log. Methods Comput. Sci.
Jakub Bulin, Dejan Delic, Marcel Jackson, Todd Niven
2015 J jnl
On Maltsev Digraphs.
Electron. J. Comb.
Catarina Carvalho, László Egri, Marcel Jackson, Todd Niven
2014 B conf
Improved Optimal and Approximate Power Graph Compression for Clearer Visualisation of Dense Graphs.
PacificVis
Tim Dwyer, Christopher Mears, Kerri Morgan, Todd Niven, Kim Marriott, Mark Wallace
2013 J jnl
Digraph related constructions and the complexity of digraph homomorphism problems
CoRR
Marcel Jackson, Tomasz Kowalski, Todd Niven
2013 J jnl
Improved Optimal and Approximate Power Graph Compression for Clearer Visualisation of Dense Graphs.
CoRR
Tim Dwyer, Christopher Mears, Kerri Morgan, Todd Niven, Kim Marriott, Mark Wallace
2013 A conf
On the Reduction of the CSP Dichotomy Conjecture to Digraphs.
CP
Jakub Bulin, Dejan Delic, Marcel Jackson, Todd Niven
2013 J jnl
On the reduction of the CSP dichotomy conjecture to digraphs
CoRR
Jakub Bulin, Dejan Delic, Marcel Jackson, Todd Niven
2011 Misc conf
On Maltsev Digraphs.
CSR
Catarina Carvalho, László Egri, Marcel Jackson, Todd Niven
2011 A conf
Proving Symmetries by Model Transformation.
CP
Christopher Mears, Todd Niven, Marcel Jackson, Mark Wallace
2009 J jnl
The CSP Dichotomy Holds for Digraphs with No Sources and No Sinks (A Positive Answer to a Conjecture of Bang-Jensen and Hell).
SIAM J. Comput.
Libor Barto, Marcin Kozik, Todd Niven
2008 A* conf
Graphs, polymorphisms and the complexity of homomorphism problems.
STOC
Libor Barto, Marcin Kozik, Todd Niven
2007 J jnl
Dualizable but not Fully Dualizable Algebras.
Int. J. Algebra Comput.
Todd Niven