EagleUP: Solving Random 3-SAT using SLS with Unit Propagation

O Gableske, MJH Heule

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

16 Citations (Scopus)
Original languageEnglish
Title of host publication14th International Conference on Theory and application of satisfiability testing (SAT'11)
EditorsKA Sakallah, L Simon
Place of PublicationAnn Arbor, MI, USA
PublisherSpringer
Pages367-368
Number of pages2
ISBN (Print)978-3-642-21581-0
DOIs
Publication statusPublished - 2011
EventSAT'11 - Ann Arbor, MI, USA
Duration: 19 Jun 201122 Jun 2011

Publication series

Name
PublisherSpringer
NameLecture Notes in Computer Science
Volume6695
ISSN (Print)0302-9743

Conference

ConferenceSAT'11
Period19/06/1122/06/11

Keywords

  • Wiskunde en Informatica
  • Techniek
  • technische Wiskunde en Informatica
  • CWTS JFIS < 0.75

Cite this