Search results
From MaRDI portal
- multiple-output logic minimization 2007-05-29 Paper Fault-tree modelling of computer system security 2005-08-25 Paper Two-Level Multiple-Output Logic Minimization...10 bytes (20 words) - 05:46, 12 December 2023
- multiple-output logic minimization 2007-05-29 Paper Fault-tree modelling of computer system security 2005-08-25 Paper Two-Level Multiple-Output Logic Minimization...10 bytes (20 words) - 03:57, 7 October 2023
- Publication Date of Publication Type MINI: A Heuristic Approach for Logic Minimization 1974-01-01 Paper...10 bytes (18 words) - 21:13, 26 December 2023
- state machine logic synthesis for complex programmable logic devices 2013-03-27 Paper FSMs state encoding targeting at logic level minimization 2011-01-19...10 bytes (16 words) - 14:10, 12 December 2023
- Publication Date of Publication Type Logic minimization techniques with applications to cryptology 2013-06-27 Paper On the Shortest Linear Straight-Line...10 bytes (16 words) - 03:05, 25 September 2023
- 2011-08-04 Paper FSMs state encoding targeting at logic level minimization 2011-01-19 Paper Decomposition-based logic synthesis for PAL-based CPLDs 2010-09-02 Paper...10 bytes (16 words) - 14:10, 12 December 2023
- https://portal.mardi4nfdi.de/entity/Q4886040 1996-07-28 Paper Two-level logic minimization: an overview 1995-08-20 Paper https://portal.mardi4nfdi.de/entity/Q4037091...10 bytes (16 words) - 20:16, 26 December 2023
- MINI: A Heuristic Approach for Logic Minimization 1974-01-01 Paper Generating Test Examples for Heuristic Boolean Minimization 1974-01-01 Paper On Complementation...10 bytes (18 words) - 13:04, 7 October 2023
- MINI: A Heuristic Approach for Logic Minimization 1974-01-01 Paper Generating Test Examples for Heuristic Boolean Minimization 1974-01-01 Paper Error Correction...10 bytes (18 words) - 13:58, 6 October 2023
- Publication Date of Publication Type FSMs state encoding targeting at logic level minimization 2011-01-19 Paper...10 bytes (16 words) - 09:29, 7 October 2023
- differential privacy 2015-05-21 Paper Hardness of approximate two-level logic minimization and PAC learning with membership queries 2014-11-25 Paper Nearly Optimal...10 bytes (17 words) - 04:08, 25 September 2023
- online auctions using discreet cryptographic proofs 2014-05-14 Paper Logic minimization techniques with applications to cryptology 2013-06-27 Paper Four Measures...10 bytes (18 words) - 01:57, 10 December 2023
- Interval Analysis of Paging Algorithms on Access Graphs 2013-08-12 Paper Logic minimization techniques with applications to cryptology 2013-06-27 Paper Four Measures...10 bytes (17 words) - 00:03, 10 December 2023
- 2015-03-19 Paper Complex minimization method for finite state machines implemented on programmable logic devices 2015-03-19 Paper Minimization of mealy finite-state...10 bytes (18 words) - 19:53, 9 December 2023
- normal logic programs to constraint logic programs 1993-01-16 Paper Projecting CLP(\({\mathcal R}\)) constraints 1993-01-01 Paper Canonical logic programs...10 bytes (18 words) - 00:40, 10 December 2023
- connectivity 2018-07-09 Paper Quantum circuit synthesis using a new quantum logic gate library of NCV quantum gates 2018-03-14 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 14:57, 11 December 2023
- fuzzy logic control and three-point weight comparison method 2011-01-21 Paper Optimality conditions and algorithms for integral global minimization 2008-04-17...10 bytes (17 words) - 22:32, 11 December 2023
- implication in combinatory logic. 1934-01-01 Paper Functionality in Combinatory Logic 1934-01-01 Paper Functionality in combinatory logic. 1934-01-01 Paper Apparent...10 bytes (19 words) - 08:47, 12 December 2023
- IN MODAL LOGIC 2018-01-11 Paper A propositional dynamic logic for instantial neighborhood models 2017-11-22 Paper Quotient dynamics: the logic of abstraction...10 bytes (16 words) - 14:46, 10 December 2023
- Columns in Flow Table Minimization 1966-01-01 Paper Completeness of Sets of Delayed-Logic Devices 1965-01-01 Paper On Complete Sets of Logic Primitives 1965-01-01...10 bytes (16 words) - 15:16, 6 October 2023
