Original title: Využití SAT solverů v úloze optimalizace kombinačních obvodů
Translated title: Application of SAT Solvers in Circuit Optimization Problem
Authors: Minařík, Vojtěch ; Mrázek, Vojtěch (referee) ; Vašíček, Zdeněk (advisor)
Document type: Master’s theses
Year: 2019
Language: cze
Publisher: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract: [cze] [eng]

Keywords: AI.; artificial inteligence; Evolution; Evolution HW design; genetic programming; HW; logic; logic circuit; SAT; satisfiability; AI.; Evoluce; evoluční návrh hardwaru; genetické programování; hardware; HW; kombinační obvod; logika; návrh kombinačních obvodů; SAT; splnitelnost; umělá inteligence

Institution: Brno University of Technology (web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library.
Original record: http://hdl.handle.net/11012/180317

Permalink: http://www.nusl.cz/ntk/nusl-399701


The record appears in these collections:
Universities and colleges > Public universities > Brno University of Technology
Academic theses (ETDs) > Master’s theses
 Record created 2019-08-26, last modified 2019-08-27


No fulltext
  • Export as DC, NUŠL, RIS
  • Share