Publication:4938415
From MaRDI portal
zbMath0944.68166MaRDI QIDQ4938415
Publication date: 26 September 2000
68R05: Combinatorics in computer science
68R10: Graph theory (including graph drawing) in computer science
90B35: Deterministic scheduling theory in operations research
05C15: Coloring of graphs and hypergraphs
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings, Using solution properties within an enumerative search to solve a sports league scheduling problem, An algorithm for random signed 3-SAT with intervals, Regular-SAT: A many-valued approach to solving combinatorial problems, On Inconsistent Clause-Subsets for Max-SAT Solving