Michael Frank - RankMe

12 papers A* 1B 1Journal 8Unranked 2

Year	Rank	Type	Title / Venue / Authors
2017	—	`conf`	Logic Programming with Max-Clique and its Application to Graph Coloring (Tool Description). ICLP (Technical Communications) Michael Codish, Michael Frank, Amit Metodi, Morad Muslimany
2017	A*	`conf`	The DNA Word Design Problem: A New Constraint Model and New Results. IJCAI Michael Codish, Michael Frank, Vitaly Lagoon
2016	J	`jnl`	Computing the Ramsey number R(4, 3, 3) using abstraction and symmetry breaking. Constraints An Int. J. Michael Codish, Michael Frank, Avraham Itzhakov, Alice Miller
2016	J	`jnl`	Logic Programming with Graph Automorphism: Integrating naut with Prolog (a Tool Paper). CoRR Michael Frank, Michael Codish
2016	J	`jnl`	Logic Programming with Graph Automorphism: Integrating nauty with Prolog (Tool Description). Theory Pract. Log. Program. Michael Frank, Michael Codish
2016	—	`conf`	Methods for Solving Extremal Problems in Practice. ICLP (Technical Communications) Michael Frank
2016	J	`jnl`	Sorting nine inputs requires twenty-five comparisons. J. Comput. Syst. Sci. Michael Codish, Luís Cruz-Filipe, Michael Frank, Peter Schneider-Kamp
2015	J	`jnl`	Computing the Ramsey Number R(4, 3, 3) using Abstraction and Symmetry breaking. CoRR Michael Codish, Michael Frank, Avraham Itzhakov, Alice Miller
2015	J	`jnl`	When Six Gates are Not Enough. CoRR Michael Codish, Luís Cruz-Filipe, Michael Frank, Peter Schneider-Kamp
2014	J	`jnl`	Solving Graph Coloring Problems with Abstraction and Symmetry: the Ramsey Number R(4, 3, 3)=30. CoRR Michael Codish, Michael Frank, Avraham Itzhakov, Alice Miller
2014	B	`conf`	Twenty-Five Comparators Is Optimal When Sorting Nine Inputs (and Twenty-Nine for Ten). ICTAI Michael Codish, Luís Cruz-Filipe, Michael Frank, Peter Schneider-Kamp
2014	J	`jnl`	Twenty-Five Comparators is Optimal when Sorting Nine Inputs (and Twenty-Nine for Ten). CoRR Michael Codish, Luís Cruz-Filipe, Michael Frank, Peter Schneider-Kamp