Boom: A heuristic boolean minimizer

Boom: A heuristic boolean minimizer

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Computing and informatics (Bratislava, Slovakia) Slovakia), 2003, Vol.22 (1), p.19-51
Hauptverfasser: FISER, Petr, HLAVICKA, Jan
Format: Artikel
Sprache:eng
Schlagworte:
Applied sciences
Computer science
control theory
systems
Exact sciences and technology
Logical, boolean and switching functions
Theoretical computing
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 51
container_issue 1
container_start_page 19
container_title Computing and informatics (Bratislava, Slovakia)
container_volume 22
creator FISER, Petr
HLAVICKA, Jan
description
format Article
fullrecord <record><control><sourceid>pascalfrancis</sourceid><recordid>TN_cdi_pascalfrancis_primary_15109459</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>15109459</sourcerecordid><originalsourceid>FETCH-LOGICAL-p183t-128944ccaa6d5ca511a2cb442930798231597fd53a28e62afc5a9ef56e7cb04f3</originalsourceid><addsrcrecordid>eNotzM1qAjEUQOEsLFSs7zBQXA7kJrmTiTsVbQuCG13LnWtCU-aPRBf69Bbas_l2ZyKmoDWWDlC-innOP_I3rMCCnYr39TB0y2JVfPtbivkauWiGofXUF13sYxcfPr2Jl0Bt9vN_Z-K02x43n-X-8PG1We3LEWp9LUHVzhhmouqCTAhAihtjlNPSulppQGfDBTWp2leKAiM5H7Dylhtpgp6Jxd93pMzUhkQ9x3weU-wo3c-AIJ1Bp58sDzrh</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Boom: A heuristic boolean minimizer</title><source>Alma/SFX Local Collection</source><creator>FISER, Petr ; HLAVICKA, Jan</creator><creatorcontrib>FISER, Petr ; HLAVICKA, Jan</creatorcontrib><identifier>ISSN: 1335-9150</identifier><language>eng</language><publisher>Bratislava: Slovak Academy of Sciences</publisher><subject>Applied sciences ; Computer science; control theory; systems ; Exact sciences and technology ; Logical, boolean and switching functions ; Theoretical computing</subject><ispartof>Computing and informatics (Bratislava, Slovakia), 2003, Vol.22 (1), p.19-51</ispartof><rights>2003 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,776,780,4009</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&amp;idt=15109459$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>FISER, Petr</creatorcontrib><creatorcontrib>HLAVICKA, Jan</creatorcontrib><title>Boom: A heuristic boolean minimizer</title><title>Computing and informatics (Bratislava, Slovakia)</title><subject>Applied sciences</subject><subject>Computer science; control theory; systems</subject><subject>Exact sciences and technology</subject><subject>Logical, boolean and switching functions</subject><subject>Theoretical computing</subject><issn>1335-9150</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2003</creationdate><recordtype>article</recordtype><recordid>eNotzM1qAjEUQOEsLFSs7zBQXA7kJrmTiTsVbQuCG13LnWtCU-aPRBf69Bbas_l2ZyKmoDWWDlC-innOP_I3rMCCnYr39TB0y2JVfPtbivkauWiGofXUF13sYxcfPr2Jl0Bt9vN_Z-K02x43n-X-8PG1We3LEWp9LUHVzhhmouqCTAhAihtjlNPSulppQGfDBTWp2leKAiM5H7Dylhtpgp6Jxd93pMzUhkQ9x3weU-wo3c-AIJ1Bp58sDzrh</recordid><startdate>2003</startdate><enddate>2003</enddate><creator>FISER, Petr</creator><creator>HLAVICKA, Jan</creator><general>Slovak Academy of Sciences</general><scope>IQODW</scope></search><sort><creationdate>2003</creationdate><title>Boom: A heuristic boolean minimizer</title><author>FISER, Petr ; HLAVICKA, Jan</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-p183t-128944ccaa6d5ca511a2cb442930798231597fd53a28e62afc5a9ef56e7cb04f3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2003</creationdate><topic>Applied sciences</topic><topic>Computer science; control theory; systems</topic><topic>Exact sciences and technology</topic><topic>Logical, boolean and switching functions</topic><topic>Theoretical computing</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>FISER, Petr</creatorcontrib><creatorcontrib>HLAVICKA, Jan</creatorcontrib><collection>Pascal-Francis</collection><jtitle>Computing and informatics (Bratislava, Slovakia)</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>FISER, Petr</au><au>HLAVICKA, Jan</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Boom: A heuristic boolean minimizer</atitle><jtitle>Computing and informatics (Bratislava, Slovakia)</jtitle><date>2003</date><risdate>2003</risdate><volume>22</volume><issue>1</issue><spage>19</spage><epage>51</epage><pages>19-51</pages><issn>1335-9150</issn><cop>Bratislava</cop><pub>Slovak Academy of Sciences</pub><tpages>33</tpages></addata></record>
fulltext fulltext
identifier ISSN: 1335-9150
ispartof Computing and informatics (Bratislava, Slovakia), 2003, Vol.22 (1), p.19-51
issn 1335-9150
language eng
recordid cdi_pascalfrancis_primary_15109459
source Alma/SFX Local Collection
subjects Applied sciences
Computer science
control theory
systems
Exact sciences and technology
Logical, boolean and switching functions
Theoretical computing
title Boom: A heuristic boolean minimizer
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-22T18%3A44%3A40IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-pascalfrancis&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Boom:%20A%20heuristic%20boolean%20minimizer&rft.jtitle=Computing%20and%20informatics%20(Bratislava,%20Slovakia)&rft.au=FISER,%20Petr&rft.date=2003&rft.volume=22&rft.issue=1&rft.spage=19&rft.epage=51&rft.pages=19-51&rft.issn=1335-9150&rft_id=info:doi/&rft_dat=%3Cpascalfrancis%3E15109459%3C/pascalfrancis%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true