scientific article; zbMATH DE number 1241386

zbMath0912.68020MaRDI QIDQ4224926

Jun Gu

Publication date: 18 May 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

scheduling problemlocal search algorithmsalgorithm designrandom techniqueslarge size satisfiability

Mathematics Subject Classification ID

Decision theory (91B06) Searching and sorting (68P10) Deterministic scheduling theory in operations research (90B35) Combinatorial optimization (90C27) Parallel algorithms in computer science (68W10) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Classical propositional logic (03B05) Resource and cost allocation (including fair division, apportionment, etc.) (91B32)

Uses Software

• Walksat

This page was built for publication: