Suchergebnisse - Multi-level Logic Optimization Boolean Function Synthesis Gröbner Bases

Gröbner Bases for Boolean Function Minimization

Autoren: Faroß, Nicolas Schwarz, Simon Weidenbach, Christoph

Weitere Verfasser: Faroß, Nicolas Schwarz, Simon Weidenbach, Christoph

Quelle: Mathematics in Computer Science. 19

Schlagwörter: Multi-level Logic Optimization, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Boolean Function Synthesis, Gröbner Bases, Multi-level Logic Optimization Boolean Function Synthesis Gröbner Bases

Dateibeschreibung: application/pdf

Zugangs-URL: https://inria.hal.science/hal-04315477v1

Gröbner Bases for Boolean Function Minimization

Autoren: Faroß, Nicolas Schwarz, Simon Weidenbach, Christoph

Weitere Verfasser: Faroß, Nicolas Schwarz, Simon Weidenbach, Christoph

Schlagwörter: Multi-level Logic Optimization, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Boolean Function Synthesis, Multi-level Logic Optimization Boolean Function Synthesis Gröbner Bases, Gröbner Bases

Dateibeschreibung: application/pdf

Zugangs-URL: https://inria.hal.science/hal-04315477v1

Gröbner Bases for Boolean Function Minimization

Autoren: Faroß, Nicolas Schwarz, Simon Universität des Saarlandes Saarbrücken et al.

Weitere Verfasser: Faroß, Nicolas Schwarz, Simon Universität des Saarlandes Saarbrücken et al.

Quelle: Proceedings of the 8th SC-Square Workshop ; https://inria.hal.science/hal-04315477 ; Proceedings of the 8th SC-Square Workshop, Jul 2024, Tromsø, Norway

Schlagwörter: Multi-level Logic Optimization Boolean Function Synthesis Gröbner Bases, Multi-level Logic Optimization, Boolean Function Synthesis, Gröbner Bases, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Geographisches Schlagwort: Tromsø, Norway

Relation: hal-04315477; https://inria.hal.science/hal-04315477; https://inria.hal.science/hal-04315477/document; https://inria.hal.science/hal-04315477/file/short4.pdf

Verfügbarkeit: https://inria.hal.science/hal-04315477
https://inria.hal.science/hal-04315477/document
https://inria.hal.science/hal-04315477/file/short4.pdf

Table of Contents.

Quelle: 2012 IEEE 42nd International Symposium on Multiple-Valued Logic; 1/ 1/2012, pv-ix, 5p

Advanced Techniques in Logic Synthesis, Optimizations and Applications

Autoren: Kanupriya Gulati

Resource Type: eBook.

Schlagworte: Systems engineering, Logic design

Categories: TECHNOLOGY & ENGINEERING / Electronics / Circuits / General, COMPUTERS / Design, Graphics & Media / CAD-CAM

Table of Contents.

Quelle: 2004 IEEE International Symposium on Circuits & Systems (IEEE Cat. No.04CH37512); 2004, pxvii-XXII, 6p

EGU General Assembly 2014.

Quelle: Geophysical Research Abstracts; 2014, Vol. 16, p1-15054, 15054p

Automated Deduction – CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings

Autoren: Brigitte Pientka Cesare Tinelli

Resource Type: eBook.

Schlagworte: Automatic theorem proving--Congresses, Logic, Symbolic and mathematical--Congresses

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General

Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Autoren: Stephanie Weirich

Resource Type: eBook.

Schlagworte: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Languages / General

Concise Encyclopedia of Coding Theory

Autoren: W. Cary Huffman Jon-Lark Kim Patrick Solé

Resource Type: eBook.

Schlagworte: Coding theory--Encyclopedias

Categories: COMPUTERS / Security / Cryptography & Encryption, MATHEMATICS / General, MATHEMATICS / Algebra / General, MATHEMATICS / Applied, MATHEMATICS / Combinatorics

Handbook of Parallel Constraint Reasoning

Autoren: Youssef Hamadi Lakhdar Sais

Resource Type: eBook.

Schlagworte: Parallel programming (Computer science)--Handbooks, manuals, etc, Constraints (Artificial intelligence)--Handbooks, manuals, etc

Categories: COMPUTERS / Artificial Intelligence / General, BUSINESS & ECONOMICS / Operations Research, COMPUTERS / Computer Science, MATHEMATICS / Optimization

Encyclopedia of Systems and Control

Autoren: John Baillieul Tariq Samad

Resource Type: eBook.

Schlagworte: Control engineering, System theory, Control theory, Artificial intelligence, Chemistry, Technical, Mathematical optimization, Industrial engineering, Production engineering

Categories: TECHNOLOGY & ENGINEERING / Electrical, COMPUTERS / Artificial Intelligence / General, SCIENCE / Chemistry / Industrial & Technical, SCIENCE / System Theory, TECHNOLOGY & ENGINEERING / Industrial Engineering, MATHEMATICS / Optimization

Arithmetic Optimization Techniques for Hardware and Software Design

Autoren: Ryan Kastner Anup Hosangadi Farzan Fallah

Resource Type: eBook.

Schlagworte: Computer software--Development, Mathematical optimization, Computer arithmetic, Electronic digital computers--Design and construction

Categories: COMPUTERS / Data Science / General, COMPUTERS / Computer Literacy, COMPUTERS / Computer Science, COMPUTERS / Information Technology, COMPUTERS / Machine Theory, COMPUTERS / Reference, COMPUTERS / Hardware / General

Boolean Models and Methods in Mathematics, Computer Science, and Engineering

Autoren: Yves Crama Peter L. Hammer

Resource Type: eBook.

Schlagworte: Probabilities, Algebra, Boolean

Categories: MATHEMATICS / Algebra / General

Bilevel Optimization

Autoren: Stephan Dempe Alain Zemkoho

Resource Type: eBook.

Schlagworte: Operations research, Mathematical optimization, Game theory

Categories: BUSINESS & ECONOMICS / Operations Research, MATHEMATICS / Game Theory, MATHEMATICS / Optimization

Handbook of Satisfiability : Second Edition

Autoren: Armin Biere Hans van Maaren Toby Walsh

Resource Type: eBook.

Schlagworte: Computer algorithms--Congresses, Algebra, Boolean--Congresses, Propositional calculus--Congresses, Decision making--Congresses

Categories: COMPUTERS / Computer Science

Applications of Evolutionary Computation : 22nd International Conference, EvoApplications 2019, Held As Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings

Autoren: Paul Kaufmann Pedro A. Castillo

Resource Type: eBook.

Schlagworte: Algorithms, Artificial intelligence, Computer arithmetic and logic units, Computer networks, Computers, Special purpose, Computer science—Mathematics

Categories: COMPUTERS / Programming / Algorithms, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Logic Design, COMPUTERS / Networking / General, MATHEMATICS / Applied

Information Modelling and Knowledge Bases XXV

Autoren: Tokuda, Takehiro IOS Press

Resource Type: eBook.

Schlagworte: Information modeling, System design, Artificial intelligence

Categories: COMPUTERS / Information Technology, COMPUTERS / Computer Literacy, COMPUTERS / Computer Science, COMPUTERS / Data Science / General, COMPUTERS / Machine Theory, COMPUTERS / Reference, COMPUTERS / Hardware / General

Handbook of Satisfiability

Autoren: Armin Biere Hans van Maaren Toby Walsh

Resource Type: eBook.

Schlagworte: Computer algorithms--Congresses, Algebra, Boolean--Congresses, Propositional calculus--Congresses, Decision making--Congresses

Categories: COMPUTERS / Artificial Intelligence / General

Description Logic, Theory Combination, and All That : Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

Autoren: Carsten Lutz Uli Sattler Cesare Tinelli et al.

Resource Type: eBook.

Schlagworte: Machine theory, Artificial intelligence, Computer science, Information technology—Management, Software engineering, Computer networks

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General