Paul Molitor

Available identifiers

zbMath Open molitor.paulMaRDI QIDQ698097

List of research outcomes

Publication	Date of Publication	Type
Finding the redundant gates in reversible circuits	2018-10-17	Paper
Least upper bounds for the size of OBDDs using symmetry properties	2018-07-09	Paper
Finding Good Tours for Huge Euclidean TSP Instances by Iterative Backbone Contraction	2010-07-20	Paper
Client Hardware-Token Based Single Sign-On over Several Servers without Trusted Online Third Party Server	2010-05-10	Paper
Technische Informatik	2009-04-09	Paper
Algorithms and Experimental Study for the Traveling Salesman Problem of Second Order	2009-01-27	Paper
Tolerance Based Contract-or-Patch Heuristic for the Asymmetric TSP	2008-04-17	Paper
Improving the Efficiency of Helsgaun’s Lin-Kernighan Heuristic for the Symmetric TSP	2008-04-15	Paper
Some Basics on Tolerances	2008-01-04	Paper
https://portal.mardi4nfdi.de/entity/Q4677783	2005-05-13	Paper
https://portal.mardi4nfdi.de/entity/Q4825215	2004-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q4472315	2004-08-04	Paper
Limits of using signatures for permutation independent Boolean comparison	2002-09-18	Paper
Application of BDDs in Boolean matching techniques for formal logic combinational verification	2002-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4230678	1999-02-08	Paper
Establishing latch correspondence for sequential circuits using distinguishing signatures	1999-01-12	Paper
A hierarchy preserving hierarchical bottom-up 2-layer wiring algorithm with respect to via minimization	1994-01-30	Paper
https://portal.mardi4nfdi.de/entity/Q5750822	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3787931	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3775485	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3783975	1987-01-01	Paper
A logic-topological calculus for the construction of integrated circuits. I	1986-01-01	Paper
A logic-topological calculus for the construction of integrated circuits. II.	1986-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Paul Molitor