Inprocessing Rules

M Järvisalo; MJH Heule; A Biere

Inprocessing Rules

M Järvisalo, MJH Heule, A Biere

Algorithmics

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

155 Citations (Scopus)

Original language	English
Title of host publication	Proceedings of the 6th International Joint Conference, IJCAR
Editors	sn
Place of Publication	Berlin
Publisher	Springer
Pages	355-370
Number of pages	16
Publication status	Published - 2012
Event	6th International Joint Conference, IJCAR - Berlin Duration: 26 Jun 2012 → 1 Jul 2012

Publication series

Name
Publisher	Springer

Name	Lecture Notes in Computer Science
Volume	7364
ISSN (Print)	0302-9743

Conference

Conference	6th International Joint Conference, IJCAR
Period	26/06/12 → 1/07/12

Keywords

CWTS JFIS < 0.75

Cite this

@inproceedings{a894dfd0e992409ba3b4bdf13864161d,

title = "Inprocessing Rules",

keywords = "CWTS JFIS < 0.75",

author = "M J{\"a}rvisalo and MJH Heule and A Biere",

year = "2012",

language = "English",

publisher = "Springer",

pages = "355--370",

editor = "sn",

booktitle = "Proceedings of the 6th International Joint Conference, IJCAR",

note = "6th International Joint Conference, IJCAR ; Conference date: 26-06-2012 Through 01-07-2012",

}

TY - GEN

T1 - Inprocessing Rules

AU - Järvisalo, M

AU - Heule, MJH

AU - Biere, A

PY - 2012

Y1 - 2012

KW - CWTS JFIS < 0.75

UR - http://link.springer.com/chapter/10.1007/978-3-642-31365-3_28

M3 - Conference contribution

SP - 355

EP - 370

BT - Proceedings of the 6th International Joint Conference, IJCAR

A2 - sn, null

PB - Springer

CY - Berlin

T2 - 6th International Joint Conference, IJCAR

Y2 - 26 June 2012 through 1 July 2012

ER -

Inprocessing Rules

Publication series

Conference

Keywords

Other files and links

Cite this