An efficient SAT encoding of circuit codes

Metadata only

Author

Date

2008

Type

Conference Paper

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Editor

Book title

2008 International Symposium on Information Theory and its Applications (ISITA)

Pages / Article No.

1 - 4

Publisher

IEEE

Event

International Symposium on Information Theory and its Applications, ISITA2008, December 7-10, 2008

Organisational unit

03686 - Kröning, Daniel

More

ETH Bibliography

yes

Altmetrics

Research Collection