English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
 Local TagsRelease HistoryDetailsSummary
  Gröbner Bases for Boolean Function Minimization

Faroß, N., & Schwarz, S. (2023). Gröbner Bases for Boolean Function Minimization. In E. Ábrahám, & T. Sturm (Eds.), Satisfiability Checking and Symbolic Computation 2023 (pp. 61-68). CEUR-WS. Retrieved from https://ceur-ws.org/Vol-3455/short4.pdf.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/21.11116/0000-0010-8854-6 Version Permalink: https://hdl.handle.net/21.11116/0000-0010-9418-C
Genre: Conference Paper
Latex : Gr{\"o}bner Bases for {B}oolean Function Minimization

Files

show Files
hide Files
:
short4.pdf (Publisher version), 2MB
View   Save
File Permalink:
https://hdl.handle.net/21.11116/0000-0010-8856-4
Name:
short4.pdf
Description:
-
OA-Status:
Gold
Visibility:
Public
MIME-Type / Checksum:
application/pdf / [MD5]
Technical Metadata:
View
Copyright Date:
-
Copyright Info:
-
License:
https://creativecommons.org/licenses/by/4.0

Locators

show

Creators

show
hide
 Creators:
Faroß, Nicolas1, Author
Schwarz, Simon2, Author           
Affiliations:
1External Organizations, ou_persistent22              
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 2023-08-152023
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: FarossSC-Square23
URI: https://ceur-ws.org/Vol-3455/short4.pdf
 Degree: -

Event

show
hide
Title: 8th SC-Square Workshop
Place of Event: Tromsø, Norway
Start-/End Date: 2023-07-28 - 2023-07-28

Legal Case

show

Project information

show

Source 1

show
hide
Title: Satisfiability Checking and Symbolic Computation 2023
  Subtitle : Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation (ISSAC 2023)
  Abbreviation : SC-Sqaure 2023
Source Genre: Proceedings
 Creator(s):
Ábrahám, Erika1, Editor
Sturm, Thomas2, Editor                 
Affiliations:
1 External Organizations, ou_persistent22            
2 Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545            
Publ. Info: CEUR-WS
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 61 - 68 Identifier: URN: urn:nbn:de:0074-3455-4

Source 2

show
hide
Title: CEUR Workshop Proceedings
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 3455 Sequence Number: - Start / End Page: - Identifier: ISSN: 1613-0073