scientific article; zbMATH DE number 1405442
From MaRDI portal
Publication:4938415
zbMath0944.68166MaRDI QIDQ4938415
Publication date: 26 September 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Combinatorics in computer science (68R05) Graph theory (including graph drawing) in computer science (68R10) Deterministic scheduling theory in operations research (90B35) Coloring of graphs and hypergraphs (05C15) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (6)
An algorithm for random signed 3-SAT with intervals ⋮ Regular-SAT: A many-valued approach to solving combinatorial problems ⋮ Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings ⋮ MaxSAT resolution for regular propositional logic ⋮ On Inconsistent Clause-Subsets for Max-SAT Solving ⋮ Using solution properties within an enumerative search to solve a sports league scheduling problem
This page was built for publication:
