publications:
- title: "Separate Compilation as a Separate Concern: A Framework for Language-Independent Selective Recompilation"
  author:
  - name: "Nathan Bruning"
    link: "http://swerl.tudelft.nl/bin/view/Main/WebHome"
  year: "2013"
  researchr: "https://researchr.org/publication/Bruning2013"
  cites: 0
  citedby: 0
  advisor:
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  kind: "mastersthesis"
  key: "Bruning2013"
- title: "Applying Extended Resolution and Forced Patterns on Random 3-SAT instances"
  author:
  - name: "Nathan Bruning"
    link: "http://swerl.tudelft.nl/bin/view/Main/WebHome"
  - name: "Tim Koopman"
    link: "www.tudelft.nl"
  - name: " Siem Kok"
    link: "https://researchr.org/alias/siem-kok"
  - name: " Joris Scharpff"
    link: "https://researchr.org/alias/joris-scharpff"
  - name: " Jip-Man Vuong"
    link: "https://researchr.org/alias/jip-man-vuong"
  year: "2009"
  month: "02"
  abstract: "In this study we aim to improve the runtime of the state-of-the-art March SAT solver. We apply a technique known as extended resolution on uniform random 3- SAT formulae; we add additional clauses, derived from the original formula, trying to guide the solver into the direction of a viable solution. Depending on a heuris- tic which we introduce, we add certain patterns to the formula to aid the solver. This method will be tested both unforced and forced: the unforced method lets the solver choose whether to include the additional clauses or not, in forced solving the patterns are used anyway. The latter might turn a satisfiable problem into an unsatisfiable one, however results still are very promising: a speed up of about 18% on the average. Also, at the end of this document some valuable insights into new studies can be found, which may lead to even more substantial improvements."
  links:
    "technical report (pdf)": "http://www.st.ewi.tudelft.nl/sat/reports/3SAT_ER.pdf"
  tags:
  - "testing"
  - "random testing"
  researchr: "https://researchr.org/publication/bruning-applying"
  cites: 11
  citedby: 0
  institution: "Delft University of Technology"
  kind: "techreport"
  key: "bruning-applying"