Faber, Daniel

1. ASIME 2016 White Paper: In-Space Utilisation of Asteroids: "Answers to Questions from the Asteroid Miners"
   2016/12/02 by Amara L. Graps, A. L. Graps, Graps, Amara L. +74 · 1 voice · 1 citation
   Engineering · Physics and Astronomy · #Astro and Planetary Science #Earth and Planetary Astrophysics (astro-ph.EP) #FOS: Physical sciences #Planetary Science and Exploration #Space Satellite Systems and Control #astro-ph.EP
2. A Customized SAT-based Solver for Graph Coloring
   2025/04/07 by Daniel Faber, Brand, Timo, Stephan Held +4 · 2 citations
   Computer Science · Decision Sciences · #05C15 #Advanced Graph Theory Research #Artificial Intelligence (cs.AI) #Constraint Satisfaction and Optimization #Data Structures and Algorithms (cs.DS) #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #G.2.2 #Logic in Computer Science (cs.LO) #Scheduling and Timetabling Solutions
3. 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)