Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper.
Query: another look at graph coloring via propositional satisfiability .
Using tabu search techniques for graph coloring
Algorithms for Minimum Coloring, Maximum Clique, Minimum Covering by Cliques, and Maximum Independent Set of a Chordal Graph
The Min-max Edge q-Coloring Problem
The Dichotomy for Conservative Constraint Satisfaction is Polynomially Decidable
Fractional, Circular, and Defective Coloring of Series-Parallel Graphs
Dynamic Coloring of Graphs
On the injective chromatic number of graphs
Sudoku Squares and Chromatic Polynomials
Low-degree Graph Partitioning via Local Search with Applications to Constraint Satisfaction, Max Cut, and Coloring
Deterministic parallel graph coloring with hashing
Graph Coloring Algorithms for Assignment Problems in Radio Networks
New Linear-Time Algorithms for Edge-Coloring Planar Graphs
On Uniquely List Colorable Graphs
Hybrid Evolutionary Algorithms for Graph Coloring
Generalized edge-colorings of weighted graphs
List total colorings of series-parallel graphs
On (4,2)-Choosable Graphs
a constructive proof of vizing ' s theorem .
The Backtracking Survey Propagation Algorithm for Solving Random K-SAT Problems
Nonrepetitive Paths and Cycles in Graphs with Application to Sudoku
Function-Private Functional Encryption in the Private-Key Setting
Using heuristics to evaluate the playability of games
Schottky barrier height reduction of NiGe/Ge junction by P ion implantation for metal source/drain Ge CMOS devices
Critique, Explore, Compare, and Adapt (CECA): A New Model for Command Decision Making
future paths for integer programming and links to artificial intelligence .