Detail publikace

Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits

ČEŠKA Milan, MATYÁŠ Jiří, MRÁZEK Vojtěch a VOJNAR Tomáš. Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits. In: Theory and Applications of Satisfiability Testing - SAT 2020. Lecture Notes in Computer Science, roč. 12178. Alghero: Springer International Publishing, 2020, s. 481-491. ISBN 978-3-030-51824-0.
Název česky
Booleovská splnitelnost a evoluční optimalizace v návrhu přibližných obvodů
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Češka Milan, doc. RNDr., Ph.D. (UITS FIT VUT)
Matyáš Jiří, Ing. (UITS FIT VUT)
Mrázek Vojtěch, Ing., Ph.D. (UPSY FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Klíčová slova

přibližné počítání, genetické programování, booleovská splnitelnost

Abstrakt

Článek prezentuje integraci technik pro řešení booleovské splnitelnosti a evoluční optimalizace pro efektivní návrh přibližných obvodů. 

Rok
2020
Strany
481-491
Sborník
Theory and Applications of Satisfiability Testing - SAT 2020
Řada
Lecture Notes in Computer Science
Svazek
12178
Konference
The 23rd International Conference on Theory nd Applications of Satisfiability Testing., Alghero, IT
ISBN
978-3-030-51824-0
Vydavatel
Springer International Publishing
Místo
Alghero, IT
DOI
10.1007/978-3-030-51825-7_33
UT WoS
000711645300033
EID Scopus
2-s2.0-85088239738
BibTeX 
@INPROCEEDINGS{FITPUB12354,
   author = "Milan \v{C}e\v{s}ka and Ji\v{r}\'{i} Maty\'{a}\v{s} and Vojt\v{e}ch Mr\'{a}zek and Tom\'{a}\v{s} Vojnar",
   title = "Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits",
   pages = "481--491",
   booktitle = "Theory and Applications of Satisfiability Testing - SAT 2020",
   series = "Lecture Notes in Computer Science",
   volume = 12178,
   year = 2020,
   location = "Alghero, IT",
   publisher = "Springer International Publishing",
   ISBN = "978-3-030-51824-0",
   doi = "10.1007/978-3-030-51825-7\_33",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12354"
}
Nahoru