Concepedia

Maciej Ciesielski

MC

Statistics

Publications

61

Citations

2K

H-Index

24

Active since

1981

Affiliations

University of Massachusetts Amherst(Current)

Poznań University of Technology

Institute of Mathematics

Pusan National University

Université de Bretagne Sud

Maciej Ciesielski is an author at University of Massachusetts Amherst specializing in engineering, computer engineering, and computer science.

Top concepts

EngineeringComputer EngineeringComputer ScienceFormal MethodsComputer ArchitectureFormal VerificationAutomated ReasoningVerificationHardware SecurityProgram Analysis

Publications per year

1981–2019

61

Publications

61

Wave-pipelining: a tutorial and research survey

Wayne Burleson, Maciej Ciesielski, F. Klass et al. · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 1998 · 238 citations

Physical Design (Electronics), Sophisticated Computer-aided Design, Engineering +14

BDS: a BDD-based logic optimization system

Congguang Yang, Maciej Ciesielski · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2002 · 182 citations

Circuit Complexity, Logic Synthesis, Engineering +13

Optimum and suboptimum algorithms for input encoding and its relationship to logic minimization

Shipin Yang, Maciej Ciesielski · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1991 · 96 citations

Mathematical Programming, Artificial Intelligence, Engineering +18

LPSAT: a unified approach to RTL satisfiability

Zhihong Zeng, Priyank Kalla, Maciej Ciesielski · Design, Automation, and Test in Europe · 2001 · 67 citations

Mathematical Programming, Milp Solver, Sat Framework +15

Fast Algebraic Rewriting Based on And-Inverter Graphs

Cunxi Yu, Maciej Ciesielski, Alan Mishchenko · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2017 · 64 citations

Mathematical Programming, Circuit Complexity, Engineering +16

1–5 of 61