P. P. Chakrabarti

135 papers A* 3A 7B 2C 7Misc 24Journal 73Unranked 18
YearRankTypeTitle / Venue / Authors
2023 — conf
Explainable Decision Tree-Based Screening of Cognitive Impairment Leveraging Minimal Neuropsychological Tests.
PReMI
Km Poonam, Aayush Prasad, Rajlakshmi Guha, Aritra Hazra, P. P. Chakrabarti
2019 J jnl
Joint Seat Allocation 2018: An algorithmic perspective.
CoRR
Surender Baswana, P. P. Chakrabarti, Yashodhan Kanoria, Utkarsh Patange, Sharat Chandran
2017 Misc conf
Migration Aware Low Overhead ERfair Scheduler.
VLSID
Anshuman Tripathi, Arnab Sarkar, P. P. Chakrabarti
2016 J jnl
ERfair Scheduler with Processor Suspension for Real-Time Multiprocessor Embedded Systems.
ACM Trans. Design Autom. Electr. Syst.
Piyoosh Purushothaman Nair, Arnab Sarkar, N. M. Harsha, Megha Gandhi, P. P. Chakrabarti, Sujoy Ghose
2015 C conf
Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow.
APSEC
Martin Becker, Sajid Mohamed, Karsten Albers, P. P. Chakrabarti, Samarjit Chakraborty, Pallab Dasgupta, Soumyajit Dey, Ravindra Metta
2015 J jnl
Using State Space Encoding To Counter Biased Fault Attacks on AES Countermeasures.
IACR Cryptol. ePrint Arch.
Sikhar Patranabis, Abhishek Chakraborty, Debdeep Mukhopadhyay, P. P. Chakrabarti
2014 J jnl
Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures.
CoRR
Priyankar Ghosh, Amit Sharma, P. P. Chakrabarti, Pallab Dasgupta
2013 A* conf
A Mobility Simulation Framework Of Humans With Group Behavior Modeling.
ICDM
Anshul Gupta, Aurosish Mishra, Satya Gautam Vadlamudi, P. P. Chakrabarti, Sudeshna Sarkar, Tridib Mukherjee, Nathan Gnanasambandam
2013 J jnl
Formal Methods for Early Analysis of Functional Reliability in Component-Based Embedded Applications.
IEEE Embed. Syst. Lett.
Aritra Hazra, Priyankar Ghosh, Satya Gautam Vadlamudi, P. P. Chakrabarti, Pallab Dasgupta
2013 J jnl
Incremental Beam search.
Inf. Process. Lett.
Satya Gautam Vadlamudi, Sandip Aine, P. P. Chakrabarti
2012 J jnl
A dynamic assertion-based verification platform for validation of UML designs.
ACM SIGSOFT Softw. Eng. Notes
Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, P. P. Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan
2012 J jnl
Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures.
J. Artif. Intell. Res.
Priyankar Ghosh, Amit Sharma, P. P. Chakrabarti, Pallab Dasgupta
2012 B conf
Execution Ordering in AND/OR Graphs with Failure Probabilities.
SOCS
Priyankar Ghosh, P. P. Chakrabarti, Pallab Dasgupta
2012 — conf
Finding Critical Components in Embedded Control Systems Sensitive to Quality-Faults.
ISED
Vishal Shrivastav, Satya Gautam Vadlamudi, P. P. Chakrabarti, Dipankar Das, Purnendu Sinha
2012 J jnl
Online Scheduling of Dynamic Task Graphs with Communication and Contention for Multiprocessors.
IEEE Trans. Parallel Distributed Syst.
Pravanjan Choudhury, P. P. Chakrabarti, Rajeev Kumar
2012 Misc conf
Panel Discussion: SoC Realization - A Bridge to New Horizons or a Bridge to Nowhere?
VLSI Design
Sathyam K. Pattanam, P. P. Chakrabarti, Mahesh Mahendale, Srikanth Jadcherla, Seer Akademi, Vikas Gautham, Raju Bala Showry Pudota
2012 J jnl
SAT based timing analysis for fixed and rise/fall gate delay models.
Integr.
Suchismita Roy, P. P. Chakrabarti, Pallab Dasgupta
2012 J jnl
Symbolic-Event-Propagation-Based Minimal Test Set Generation for Robust Path Delay Faults.
ACM Trans. Design Autom. Electr. Syst.
Arijit Mondal, P. P. Chakrabarti, Pallab Dasgupta
2011 J jnl
A Corrigendum to: "Sticky-ERfair: a task-processor affinity aware proportional fair scheduler".
Real Time Syst.
Arnab Sarkar, Sujoy Ghose, P. P. Chakrabarti
2011 J jnl
A Low-Overhead Partition-Oriented ERfair Scheduler for Hard Real-Time Embedded Systems.
IEEE Embed. Syst. Lett.
Arnab Sarkar, A. Shanker, Sujoy Ghose, P. P. Chakrabarti
2011 A conf
A framework for early stage quality-fault tolerance analysis of embedded control systems.
DSN
Satya Gautam Vadlamudi, P. P. Chakrabarti, Dipankar Das, Purnendu Sinha
2011 — conf
Robust embedded software design through early analysis of quality faults.
ISEC
Dipankar Das, P. P. Chakrabarti, Purnendu Sinha
2011 J jnl
Sticky-ERfair: a task-processor affinity aware proportional fair scheduler.
Real Time Syst.
Arnab Sarkar, Sujoy Ghose, P. P. Chakrabarti
2010 Misc conf
An analysis of breadth-first beam search using uniform cost trees.
ISAIM
Sandip Aine, P. P. Chakrabarti
2010 J jnl
Bounded delay timing analysis and power estimation using SAT.
Microelectron. J.
Suchismita Roy, P. P. Chakrabarti, Pallab Dasgupta
2010 A conf
Contract Search: Heuristic Search under Node Expansion Constraints.
ECAI
Sandip Aine, P. P. Chakrabarti, Rajeev Kumar
2010 J jnl
Heuristic search under contract.
Comput. Intell.
Sandip Aine, P. P. Chakrabarti, Rajeev Kumar
2010 J jnl
Partition oriented frame based fair scheduler.
J. Parallel Distributed Comput.
Arnab Sarkar, P. P. Chakrabarti, Sujoy Ghose
2010 Misc conf
Safe-ERfair.
VLSI Design
Arnab Sarkar, Rahul Nanda, Sujoy Ghose, P. P. Chakrabarti
2010 J jnl
Thermal analysis of multiprocessor SoC applications by simulation and verification.
ACM Trans. Design Autom. Electr. Syst.
Dipankar Das, P. P. Chakrabarti, Rajeev Kumar
2009 J jnl
Adaptive parameter control of evolutionary algorithms to improve quality-time trade-off.
Appl. Soft Comput.
Sandip Aine, Rajeev Kumar, P. P. Chakrabarti
2009 J jnl
Design intent coverage revisited.
ACM Trans. Design Autom. Electr. Syst.
Arnab Sinha, Pallab Dasgupta, Bhaskar Pal, Sayantan Das, Prasenjit Basu, P. P. Chakrabarti
2009 J jnl
Scenario-based timing verification of multiprocessor embedded applications.
ACM Trans. Design Autom. Electr. Syst.
Dipankar Das, P. P. Chakrabarti, Rajeev Kumar
2008 J jnl
Auxiliary state machines + context-triggered properties in verification.
ACM Trans. Design Autom. Electr. Syst.
Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti
2008 J jnl
Hybrid Scheduling of Dynamic Task Graphs with Selective Duplication for Multiprocessors under Memory and Time Constraints.
IEEE Trans. Parallel Distributed Syst.
Pravanjan Choudhury, Rajeev Kumar, P. P. Chakrabarti
2008 J jnl
Satisfiability Models for Maximum Transition Power.
IEEE Trans. Very Large Scale Integr. Syst.
Suchismita Roy, P. P. Chakrabarti, Pallab Dasgupta
2008 J jnl
Simulation-based verification using Temporally Attributed Boolean Logic.
ACM Trans. Design Autom. Electr. Syst.
Subrat Kumar Panda, Arnab Roy, P. P. Chakrabarti, Rajeev Kumar
2007 Misc conf
A New Pseudo-Boolean Satisfiability based approach to Power Mode Schedulability Analysis.
VLSI Design
Sayak Ray, Pallab Dasgupta, P. P. Chakrabarti
2007 J jnl
A verification system for transient response of analog circuits.
ACM Trans. Design Autom. Electr. Syst.
Tathagato Rai Dastidar, P. P. Chakrabarti
2007 A* conf
AWA* - A Window Constrained Anytime Heuristic Search Algorithm.
IJCAI
Sandip Aine, P. P. Chakrabarti, Rajeev Kumar
2007 J jnl
An Automated Meta-Level Control Framework for Optimizing the Quality-Time Tradeoff of VLSI Algorithms.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Sandip Aine, P. P. Chakrabarti, Rajeev Kumar
2007 J jnl
An Evolutionary Algorithm-Based Approach to Automated Design of Analog and RF Circuits Using Adaptive Normalized Cost Functions.
IEEE Trans. Evol. Comput.
Abhishek Somani, P. P. Chakrabarti, Amit Patra
2007 J jnl
BUSpec: A framework for generation of verification aids for standard bus protocol specifications.
Integr.
Bhaskar Pal, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti
2007 Misc conf
Bounded Delay Timing Analysis Using Boolean Satisfiability.
VLSI Design
Suchismita Roy, P. P. Chakrabarti, Pallab Dasgupta
2007 J jnl
Event propagation for accurate circuit delay calculation using SAT.
ACM Trans. Design Autom. Electr. Syst.
Suchismita Roy, P. P. Chakrabarti, Pallab Dasgupta
2007 J jnl
Functional verification of task partitioning for multiprocessor embedded systems.
ACM Trans. Design Autom. Electr. Syst.
Dipankar Das, P. P. Chakrabarti, Rajeev Kumar
2007 J jnl
Hardware accelerated constrained random test generation.
IET Comput. Digit. Tech.
Bhaskar Pal, Arnab Sinha, Pallab Dasgupta, P. P. Chakrabarti, Kaushik De
2007 Misc conf
Online Dynamic Voltage Scaling using Task Graph Mapping Analysis for Multiprocessors.
VLSI Design
Pravanjan Choudhury, P. P. Chakrabarti, Rajeev Kumar
2007 Misc conf
Simulation Based Verification using Temporally Attributed Boolean Logic.
VLSI Design
Subrat Kumar Panda, Arnab Roy, P. P. Chakrabarti, Rajeev Kumar
2007 — conf
Timing Analysis of Sequential Circuits Using Symbolic Event Propagation.
ICCTA
Arijit Mondal, P. P. Chakrabarti, Pallab Dasgupta
2006 — conf
A Framework for Estimating Peak Power in Gate-Level Circuits.
PATMOS
Diganchal Chakraborty, P. P. Chakrabarti, Arijit Mondal, Pallab Dasgupta
2006 C conf
A model-based hybrid evolutionary algorithm for fast yield-inclusive design space exploration of analog circuits.
ISCAS
Abhishek Somani, P. P. Chakrabarti, Amit Patra
2006 J jnl
Design-Intent Coverage - A New Paradigm for Formal Property Verification.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Prasenjit Basu, Sayantan Das, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni
2006 C conf
Formal methods for checking realizability of coalitions in 3-party systems.
MEMOCODE
Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti
2006 Misc conf
Frame Based Fair Multiprocessor Scheduler: A Fast Fair Algorithm for Real-Time Embedded Systems.
VLSI Design
Arnab Sarkar, P. P. Chakrabarti, Rajeev Kumar
2006 J jnl
Frame-Based Proportional Round-Robin.
IEEE Trans. Computers
Arnab Sarkar, P. P. Chakrabarti, Rajeev Kumar
2006 Misc conf
Improving the Performance of CAD Optimization Algorithms Using On-Line Meta-Level Control.
VLSI Design
Sandip Aine, P. P. Chakrabarti, Rajeev Kumar
2006 Misc conf
Instruction-Set-Extension Exploration Using Decomposable Heuristic Search.
VLSI Design
Samik Das, P. P. Chakrabarti, Pallab Dasgupta
2006 J jnl
Reasoning about timing behavior of digital circuits using symbolic event propagation and temporal logic.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Arijit Mondal, P. P. Chakrabarti
2006 — conf
Synthesis of system verilog assertions.
DATE Designers' Forum
Sayantan Das, Rizi Mohanty, Pallab Dasgupta, P. P. Chakrabarti
2006 C conf
SystemC Modeling and Validation of A RISC Processor System.
FDL
Rajeev Kumar, Rahul Chaudhry, Dipankar Das, Vibha Rathi, Subrat Kumar Panda, P. P. Chakrabarti
2006 C conf
Timing Verification of UML Activity Diagram Based Code Block Level Models for Real Time Multiprocessor System-on-Chip Applications.
APSEC
Dipankar Das, Rajeev Kumar, P. P. Chakrabarti
2006 A conf
What lies between design intent coverage and model checking?
DATE
Sayantan Das, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti
2005 Misc conf
A Hierarchical Cost Tree Mutation Approach to Optimization of Analog Circuits.
VLSI Design
Abhishek Somani, P. P. Chakrabarti, Amit Patra
2005 Misc conf
A Verification System for Transient Response of Analog Circuits Using Model Checking.
VLSI Design
Tathagato Rai Dastidar, P. P. Chakrabarti
2005 J jnl
A framework for systematic validation and debugging of pipeline simulators.
ACM Trans. Design Autom. Electr. Syst.
Arnab Roy, Subrat Kumar Panda, Rajeev Kumar, P. P. Chakrabarti
2005 J jnl
A synthesis system for analog circuits based on evolutionary search and topological reuse.
IEEE Trans. Evol. Comput.
Tathagato Rai Dastidar, P. P. Chakrabarti, Partha Ray
2005 — conf
Adaptive Control of Anytime Algorithm Parameters.
IICAI
Sandip Aine, Rajeev Kumar, P. P. Chakrabarti
2005 — conf
An Adaptive Framework for Solving Multiple Hard Problems Under Time Constraints.
CIS (1)
Sandip Aine, Rajeev Kumar, P. P. Chakrabarti
2005 Misc conf
Dictionary Based Code Compression for Variable Length Instruction Encodings.
VLSI Design
Dipankar Das, Rajeev Kumar, P. P. Chakrabarti
2005 Misc conf
Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model.
VLSI Design
Sayantan Das, Ansuman Banerjee, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix
2005 C conf
Multiobjective EA Approach for Improved Quality of Solutions for Spanning Tree Problem.
EMO
Rajeev Kumar, Pramod Kumar Singh, P. P. Chakrabarti
2005 J jnl
Post-compilation optimization for multiple gains with pattern matching.
ACM SIGPLAN Notices
Rajeev Kumar, Amit Gupta, B. S. Pankaj, Mrinmoy Ghosh, P. P. Chakrabarti
2005 Misc conf
Syntactic Transformation of Assume-Guarantee Assertions: From Sub-Modules to Modules.
VLSI Design
Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti
2004 A conf
A New Approach to Timing Analysis Using Event Propagation and Temporal Logic.
DATE
Arijit Mondal, P. P. Chakrabarti, Chittaranjan A. Mandal
2004 — conf
Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures.
IWDC
Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti
2004 — conf
Distributed Evolutionary Algorithm Search for Multiobjective Spanning Tree Problem.
IWDC
Rajeev Kumar, Pramod Kumar Singh, P. P. Chakrabarti
2004 A conf
Formal Verification Coverage: Are the RTL-Properties Covering the Design's Architectural Intent?
DATE
Prasenjit Basu, Sayantan Das, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix
2004 Misc conf
Formal Verification of Modules under Real Time Environment Constraints.
VLSI Design
Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti
2004 A conf
Formal verification coverage: computing the coverage gap between temporal specifications.
ICCAD
Sayantan Das, Prasenjit Basu, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni
2004 Misc conf
Improved Quality of Solutions for Multiobjective Spanning Tree Problem Using Distributed Evolutionary Algorithm.
HiPC
Rajeev Kumar, Pramod Kumar Singh, P. P. Chakrabarti
2004 B conf
Multiobjective Genetic Search for Spanning Tree Problem.
ICONIP
Rajeev Kumar, Pramod Kumar Singh, P. P. Chakrabarti
2004 Misc conf
Property Refinement Techniques for Enhancing Coverage of Formal Property Verification.
VLSI Design
Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan
2004 C conf
The BUSpec platform for automated generation of verification aids for standard bus protocols.
MEMOCODE
Bhaskar Pal, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti
2004 J jnl
The power of first-order quantification over states in branching and linear time temporal logics.
Inf. Process. Lett.
Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti
2003 J jnl
A Branching Time Temporal Framework for Quantitative Reasoning.
J. Autom. Reason.
Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti
2002 A* conf
Formal verification of module interfaces against real time specifications.
DAC
Arindam Chakrabarti, Pallab Dasgupta, P. P. Chakrabarti, Ansuman Banerjee
2002 — conf
Open Computation Tree Logic for Formal Verification of Modules.
ASP-DAC/VLSI Design
Pallab Dasgupta, Arindam Chakrabarti, P. P. Chakrabarti
2002 J jnl
Quantified Computation Tree Logic.
Inf. Process. Lett.
Anindya C. Patthak, Indrajit Bhattacharya, Anirban Dasgupta, Pallab Dasgupta, P. P. Chakrabarti
2002 J jnl
Solving Constraint Optimization Problems from CLP-Style Specifications Using Heuristic Search Techniques.
IEEE Trans. Knowl. Data Eng.
Pallab Dasgupta, P. P. Chakrabarti, Arnab Dey, Sujoy Ghose, Wolfgang Bibel
2002 — conf
Timing analysis of tree-like RLC circuits.
ISCAS (4)
Bipin Rajendran, Veerbhan Kheterpal, Abhishek Das, Jayanta Majumder, Chittaranjan A. Mandal, P. P. Chakrabarti
2001 A conf
Abstraction of word-level linear arithmetic functions from bit-level component descriptions.
DATE
Pallab Dasgupta, P. P. Chakrabarti, Amit Nandi, Sekar Krishna, Arindam Chakrabarti
2001 — conf
Abstractions for model checking of event timings.
ISCAS (5)
Jatindra Kumar Deka, S. Chaki, Pallab Dasgupta, P. P. Chakrabarti
2001 J jnl
Min-max Computation Tree Logic.
Artif. Intell.
Pallab Dasgupta, P. P. Chakrabarti, Jatindra Kumar Deka, Sriram Sankaranarayanan
2001 — conf
Symbolic verification of Boolean constraints over partially specified functions.
ISCAS (5)
S. Sriram, R. Tandon, Pallab Dasgupta, P. P. Chakrabarti
2000 J jnl
GABIND: a GA approach to allocation and binding for the high-level synthesis of data paths.
IEEE Trans. Very Large Scale Integr. Syst.
Chittaranjan A. Mandal, P. P. Chakrabarti, Sujoy Ghose
2000 J jnl
Solving multiple processor and multiple resource constrained scheduling problems using a genetic algorithm approach.
Int. J. Comput. Math.
S. A. Hussain, P. P. Chakrabarti, V. U. K. Sastry
1999 J jnl
A design space exploration scheme for data-path synthesis.
IEEE Trans. Very Large Scale Integr. Syst.
Chittaranjan A. Mandal, P. P. Chakrabarti, Sujoy Ghose
1999 Misc conf
An Efficiently Checkable Subset of TCTL for Formal Verification of Transition Systems with Delays.
VLSI Design
Jatindra Kumar Deka, Pallab Dasgupta, P. P. Chakrabarti
1999 Misc conf
Exploiting Isomorphism for Compaction and Faster Simulation of Binary Decision Diagrams.
VLSI Design
Pankaj Chauhan, Pallab Dasgupta, P. P. Chakrabarti
1999 — book
Multiobjective heuristic search - an introduction to intelligent search methods for multicriteria optimization.
Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar
1999 J jnl
Partial Precedence Constrained Scheduling.
IEEE Trans. Computers
P. P. Chakrabarti
1998 J jnl
A Framework for Learning in Search-Based Systems.
IEEE Trans. Knowl. Data Eng.
Sudeshna Sarkar, P. P. Chakrabarti, Sujoy Ghose
1998 J jnl
Learning while solving problems in best first search.
IEEE Trans. Syst. Man Cybern. Part A
Sudeshna Sarkar, P. P. Chakrabarti, Sujoy Ghose
1997 Misc conf
Design Space Exploration for Data Path Synthesis.
VLSI Design
Chittaranjan A. Mandal, P. P. Chakrabarti, Sujoy Ghose
1996 — conf
A New Competitive Algorithm for Agent Searching in Unknown Streets.
FSTTCS
Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar
1996 J jnl
Agent Search in Uniform b-Ary Trees: Multiple Goals and Unequal Costs.
Inf. Process. Lett.
Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar
1996 Misc conf
Allocation and Binding in Data Path Synthesis Using a Genetic Algorithm Approach.
VLSI Design
Chittaranjan A. Mandal, P. P. Chakrabarti, Sujoy Ghose
1996 J jnl
Multiobjektive Heuristic Search in AND/OR Graphs.
J. Algorithms
Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar
1996 J jnl
Searching Game Trees under a Partial Order.
Artif. Intell.
Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar
1996 J jnl
Searching Game Trees under a Partial Order.
ICCA J.
Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar
1995 J jnl
A Correction to "Agent Searching in a Tree and the Optimality of Iterative Deepening".
Artif. Intell.
Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar
1995 — conf
A Near Optimal Algorithm for the Extended Cow-Path Problem in the Presence of Relative Errors.
FSTTCS
Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar
1995 J jnl
Utility of Pathmax in Partial Order Heuristic Search.
Inf. Process. Lett.
Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar
1994 J jnl
Agent Searching in a Tree and the Optimality of Iterative Deepening.
Artif. Intell.
Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar
1994 J jnl
Agent Searching in a Tree and the Optimality of Iterative Deepening.
ICCA J.
Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar
1994 J jnl
Algorithms for Searching Explicit AND/OR Graphs and their Applications to Problem Reduction Search.
Artif. Intell.
P. P. Chakrabarti
1994 J jnl
Improving Greedy Algorithms by Lookahead-Search.
J. Algorithms
U. K. Sarkar, P. P. Chakrabarti, Sujoy Ghose, S. C. De Sarkar
1994 Misc conf
Multiobjective Search in VLSI Design.
VLSI Design
Pallab Dasgupta, Prasenjit Mitra, P. P. Chakrabarti, S. C. De Sarkar
1992 J jnl
A General Best First Search Algorithm in AND/OR Graphs.
J. Algorithms
P. P. Chakrabarti, Sujoy Ghose
1992 J jnl
A Simple 0.5-Bounded Greedy Algorithm for the 0/1 Knapsack Problem.
Inf. Process. Lett.
U. K. Sarkar, P. P. Chakrabarti, Sujoy Ghose, S. C. De Sarkar
1992 J jnl
Effective Use of Memory in Iterative Deepening Search.
Inf. Process. Lett.
U. K. Sarkar, P. P. Chakrabarti, Sujoy Ghose, S. C. De Sarkar
1992 J jnl
Generalized best first search using single and multiple heuristics.
Inf. Sci.
P. P. Chakrabarti, Sujoy Ghose, S. C. De Sarkar
1992 J jnl
Register-interconnect optimization in data path synthesis.
Microprocess. Microprogramming
Chittaranjan A. Mandal, P. P. Chakrabarti, Sujoy Ghose
1991 J jnl
Multiple Stack Branch and Bound.
Inf. Process. Lett.
U. K. Sarkar, P. P. Chakrabarti, Sujoy Ghose, S. C. De Sarkar
1991 J jnl
Reducing Reexpansions in Iterative-Deepening Search by Controlling Cutoff Bounds.
Artif. Intell.
U. K. Sarkar, P. P. Chakrabarti, Sujoy Ghose, S. C. De Sarkar
1989 J jnl
Heuristic Search in Restricted Memory.
Artif. Intell.
P. P. Chakrabarti, Sujoy Ghose, Arup Acharya, S. C. De Sarkar
1989 J jnl
Increasing Search Efficiency Using Multiple Heuristics.
Inf. Process. Lett.
P. P. Chakrabarti, Sujoy Ghose, A. Pandey, S. C. De Sarkar
1989 J jnl
Increasing Search Efficiency Using Multiple Heuristics.
Inf. Process. Lett.
P. P. Chakrabarti, Sujoy Ghose, A. Pandey, S. C. De Sarkar
1989 — conf
Pruning by Upperbounds in Heuristic Search: Use of Approximate Algorithms.
KBCS
U. K. Sarkar, P. P. Chakrabarti, Sujoy Ghose, S. C. De Sarkar
1988 — conf
Best first search in and/or graphs.
ACM Conference on Computer Science
P. P. Chakrabarti, Sujoy Ghose, S. C. De Sarkar
1987 J jnl
Admissibility of A0* when Heuristics Overestimate.
Artif. Intell.
P. P. Chakrabarti, Sujoy Ghose, S. C. De Sarkar
1987 J jnl
Distance functions in digital geometry.
Inf. Sci.
Partha Pratim Das, P. P. Chakrabarti, Biswanath N. Chatterji
1987 J jnl
Generalized distances in digital geometry.
Inf. Sci.
Partha Pratim Das, P. P. Chakrabarti, Biswanath N. Chatterji
1986 J jnl
Heuristic Search Through Islands.
Artif. Intell.
P. P. Chakrabarti, Sujoy Ghose, S. C. De Sarkar