Between Restarts and Backjumps

A Ramos, P van der Tak, MJH Heule

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

12 Citations (Scopus)
Original languageEnglish
Title of host publicationTheory and Applications of Satisfiability Testing 2011
EditorsKA Sakallah, L Simon
Place of PublicationBerlin, Germany
PublisherSpringer
Pages216-229
Number of pages14
ISBN (Print)978-3-642-21580-3
DOIs
Publication statusPublished - 2011
EventSAT2011 - Berlin, Germany
Duration: 19 Jun 201122 Jun 2011

Publication series

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

Conference

ConferenceSAT2011
Period19/06/1122/06/11

Keywords

  • CWTS JFIS < 0.75

Cite this