Jabrayilov, Adalat

1. New Integer Linear Programming Models for the Vertex Coloring Problem
   2017/06/30 by Jabrayilov, Adalat, Mutzel, Petra · 1 citation
   #05C15 (Primary) #68R10 (Secondary) #Computational Geometry (cs.CG) #Data Structures and Algorithms (cs.DS) #F.2.2 #FOS: Computer and information sciences #G.1.6 #G.2.2
2. SAT Encoding of Partial Ordering Models for Graph Coloring Problems
   2024/03/23 by Faber, Daniel, Jabrayilov, Adalat, Mutzel, Petra · 1 citation
   #Artificial Intelligence (cs.AI) #Data Structures and Algorithms (cs.DS) #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)