Detail publikace

Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits

ČEŠKA, M.; MATYÁŠ, J.; MRÁZEK, V.; VOJNAR, T. Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits. In Theory and Applications of Satisfiability Testing - SAT 2020. Lecture Notes in Computer Science. Alghero: Springer International Publishing, 2020. p. 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
anglicky
Autoři
Češka Milan, doc. RNDr., Ph.D. (UITS)
Matyáš Jiří, Ing., Ph.D. (VZ VERIFIT)
Mrázek Vojtěch, Ing., Ph.D. (UPSY)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
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
ISBN
978-3-030-51824-0
Vydavatel
Springer International Publishing
Místo
Alghero
DOI
10.1007/978-3-030-51825-7_33
UT WoS
000711645300033
EID Scopus
2-s2.0-85088239738
BibTeX 
@inproceedings{BUT168143,
  author="Milan {Češka} and Jiří {Matyáš} and Vojtěch {Mrázek} and Tomáš {Vojnar}",
  title="Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits",
  booktitle="Theory and Applications of Satisfiability Testing - SAT 2020",
  year="2020",
  series="Lecture Notes in Computer Science",
  volume="12178",
  pages="481--491",
  publisher="Springer International Publishing",
  address="Alghero",
  doi="10.1007/978-3-030-51825-7\{_}33",
  isbn="978-3-030-51824-0"
}
Nahoru