Location of Repository

Translation of C Expressions to DIMACS Format

By Pavel Grim


This work focuses on proposition of transfer of the expressions entered in the C pro­gramming language into DIMACS format and creation of program in programming language C++ making this transfer. This work contains a description of the C pro­gramming language and its operators. It also con­tains a description of the conjunctive normal form and a descri­ption of the DIMACS format. Following is a proposal for a program for the transfer of expression in the C programming language to the DIMACS format and description of reali­zation of program performing this transfer

Topics: C expression; C language; konjunktivní normální forma; celočíselné operátory; DIMACS format.; conversion; transfer; integer operators; bitové operátory; převod; C; konverze; operators; CNF; DIMACS; translation; conjunctive normal form; jazyk C; DIMACS formát.; výrazy jazyka C; výraz; bitwise operators; expression; operátory
Publisher: Vysoké učení technické v Brně. Fakulta informačních technologií
Year: 2015
OAI identifier: oai:invenio.nusl.cz:234975
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://www.nusl.cz/ntk/nusl-23... (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.