Inprocessing Rules

M Järvisalo, MJH Heule, A Biere

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

130 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings of the 6th International Joint Conference, IJCAR
Editors sn
Place of PublicationBerlin
PublisherSpringer
Pages355-370
Number of pages16
Publication statusPublished - 2012
Event6th International Joint Conference, IJCAR - Berlin
Duration: 26 Jun 20121 Jul 2012

Publication series

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

Conference

Conference6th International Joint Conference, IJCAR
Period26/06/121/07/12

Keywords

  • CWTS JFIS < 0.75

Cite this