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

This page was built for person: Paul Molitor