Michael Frank

Publication Activity (10 Years)

Years Active: 2014-2017
Publications (10 Years): 7

Top Topics

Logic Programming

Top Venues

ICLP (Technical Communications)

J. Comput. Syst. Sci.

Constraints An Int. J.

Publications

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