Efficient CNF Simplification based on Binary Implication Graphs

MJH Heule, M Jarvisalo, A Biere

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

Original languageEnglish
Title of host publicationTheory and Applications of Satisfiability Testing 2011
EditorsKA Sakallah, L Simon
Place of PublicationBerlin, Germany
PublisherSpringer
Pages201-215
Number of pages15
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