David Binger

According to our database¹, David Binger authored at least 4 papers between 1990 and 2002.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2002

Polyhedra with Unguarded Interiors.

[BibT_eX]

[DOI]

Int. J. Comput. Geom. Appl., 2002

1992

Encoding Problems in Controller Synthesis

[BibT_eX]

[DOI]

PhD thesis, 1992

1991

Encoding Multiple Outputs for Improved Column Compaction.

[BibT_eX]

[DOI]

Proceedings of the 1991 IEEE/ACM International Conference on Computer-Aided Design, 1991

1990

Automatic synthesis of a dual-PLA controller with a counter.

[BibT_eX]

[DOI]

Proceedings of the 23rd Annual Workshop and Symposium on Microprogramming and Microarchitecture, 1990