Thesis Details

Převod výrazů v C do DIMACS formátu

Master's Thesis Student: Grim Pavel Academic Year: 2014/2015 Supervisor: Smrčka Aleš, Ing., Ph.D.
English title
Translation of C Expressions to DIMACS Format
Language
Czech
Abstract

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.

Keywords

C, C language, operators, bitwise operators, integer operators, expression, C expression, transfer, translation, conversion, conjunctive normal form, CNF, DIMACS, DIMACS format.

Department
Department of Intelligent Systems FIT BUT
Degree Programme
Information Technology, Field of Study Intelligent Systems
Files
Status
defended, grade C
Date
22 June 2015
Reviewer
Charvát Lukáš, Ing.
Committee
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT), předseda
Češka Milan, prof. RNDr., CSc. (DITS FIT BUT), člen
Matoušek Radomil, doc. Ing., Ph.D. (IACS FME BUT), člen
Očenášek Pavel, Mgr. Ing., Ph.D. (DIFS FIT BUT), člen
Peringer Petr, Dr. Ing. (DITS FIT BUT), člen
Španěl Michal, Ing., Ph.D. (DCGM FIT BUT), člen
Citation
GRIM, Pavel. Převod výrazů v C do DIMACS formátu. Brno, 2015. Master's Thesis. Brno University of Technology, Faculty of Information Technology. 2015-06-22. Supervised by Smrčka Aleš. Available from: https://www.fit.vut.cz/study/thesis/14653/
BibTeX 
@mastersthesis{FITMT14653,
    author = "Pavel Grim",
    type = "Master's thesis",
    title = "P\v{r}evod v\'{y}raz\r{u} v C do DIMACS form\'{a}tu",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2015,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/14653/"
}

Theses

Back to top