There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 19

Record: found
Abstract: not found
Conference Proceedings: not found

Sorting networks and their applications

K. Batcher (1968)

0 comments Cited 73 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

On a generalization of extended resolution

O. Kullmann (1999)

0 comments Cited 30 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Inprocessing Rules

Matti Järvisalo, Marijn Heule, Armin Biere (2012)

0 comments Cited 25 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2015

Publication date (Online): July 25 2015

Pages: 591-606

DOI: 10.1007/978-3-319-21401-6_40

SO-VID: 4e51f6c2-b575-4060-8021-c35740246185

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 5

Efficient Certified RAT Verification
Authors: Luís Cruz-Filipe, Marijn Heule, Warren A. Hunt …
Compositional Propositional Proofs
Authors: Marijn Heule, Armin Biere
Short Proofs Without New Variables
Authors: Marijn Heule, Benjamin Kiesl, Armin Biere

See all cited by

Expressing Symmetry Breaking in DRAT Proofs

Read this book at

Related collections

ScienceOpen Research

Most cited references 19

Sorting networks and their applications

On a generalization of extended resolution

Inprocessing Rules

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 1,781

Cited by 5