Home Biblio

Guided local search for solving SAT and weighted MAX-SAT problems

Research Area: Uncategorized Year: 2000
Type of Publication: In Proceedings
  • Mills, P.
  • Tsang, E.
Editor: I.P. Gent and H. van Maaren and T. Walsh
Book title: SAT2000 --- Highlights of Satisfiability Research in the Year 2000
Pages: 89-106
[Bibtex] [RIS] [MODS]
English (United Kingdom)