Peer-Reviewed Journal Details

Mandatory Fields

Authors

Freuder, Eugene C

Year

1978

Month

Unknown

Journal

Communications of The ACM

Title

Synthesizing constraint expressions

Status

Validated

Times Cited

()

Optional Fields

Keywords

Volume

21

Issue

1111

Start Page

958

End Page

966

Abstract

Publisher Location

ISBN / ISSN

0001-07820001-0782

Edition

URL

DOI Link

Grant Details

Funding Body

Grant Details