Satisfiability Models and Algorithms for Circuit Delay Computation

Satisfiability Models and Algorithms for Circuit Delay Computation

Bibliographic Details
Main Authors:	Silva, L. Guerra (Author), Marques-Silva, J. P. (Author), Silveira, L. M. (Author), Sakallah, K. A. (Author)
Format:	Article
Language:	English
Published:	2002-01.
Subjects:	Article
Online Access:	Get fulltext

Similar Items

GRASP-A Search Algorithm for Propositional Satisfiability
by: Marques-Silva, J. P., et al.
Published: (1999)

Solving Satisfiability in Combinational Circuits
by: Marques-Silva, J. P., et al.
Published: (2003)

Report on the SAT 2007 Conference on Theory and Applications of Satisfiability Testing
by: Marques-Silva, Joao, et al.
Published: (2007)

An Overview of Backtrack Search Satisfiability Algorithms
by: Lynce, I., et al.
Published: (2003)

Satisfiability-Based Algorithms for Boolean Optimization
by: Manquinho, V., et al.
Published: (2004)

Random Backtracking in Backtrack Search Algorithms for Satisfiability
by: Lynce, Ines, et al.
Published: (2007)

Model Checking with Boolean Satisfiability
by: Marques-Silva, Joao
Published: (2008)

Haplotype Inference with Boolean Satisfiability
by: Lynce, Ines, et al.
Published: (2008)

Circuit Debugging with Error Trace Compaction and Maximum Satisfiability
by: Chen, Yibin
Published: (2009)

Circuit Debugging with Error Trace Compaction and Maximum Satisfiability
by: Chen, Yibin
Published: (2009)

Ravel-XL: a hardware accelerator for assigned-delay compiled-code logic gate simulation
by: Riepe, M. A., et al.
Published: (1996)

Heuristic-Based Backtracking Relaxation for Propositional Satisfiability
by: Bhalla, A., et al.
Published: (2005)

Exact Algorithms for Exact Satisfiability Problems
by: Dahllöf, Vilhelm
Published: (2006)

Improved Algorithms for CNF Satisfiability Problems
by: Tamaki, Suguru
Published: (2008)

A parallel algorithm for satisfiability problem
by: Li, Qian, et al.

A parallel algorithm for satisfiability problem
by: LI,QIAN-WU, et al.
Published: (1990)

APPLICATIONS OF SATISFIABILITY IN SYNTHESIS OF RECONFIGURABLE COMPUTERS
by: SIVA, SUBRAMANYAN D.
Published: (2002)

Delay computation in switch-level models of MOS circuits
by: Martin, Denis.
Published: (1988)

Cliques, colouring and satisfiability : from structure to algorithms
by: Purcell, Christopher
Published: (2013)

A Hybrid Genetic Algorithm for the Satisfiability Problem
by: Yo-An Lin, et al.
Published: (2009)

Algorithms, measures and upper bounds for satisfiability and related problems
by: Wahlström, Magnus
Published: (2007)

Complete Randomized Cutting Plane Algorithms for Propositional Satisfiability
by: Hansen, Stephen Lee
Published: (2000)

Satisfiability vs. Finite Satisfiability in Elementary Modal Logics
by: Jakub Michaliszyn, et al.
Published: (2012-10-01)

Novel Hopfield Neural Network Model with Election Algorithm for Random 3 Satisfiability
by: Muna Mohammed Bazuhair, et al.
Published: (2021-07-01)

Weapon-target assignment model of Artillery satisfying expected damage probabilities and algorithm
by: SHIH-CHUN CHAO, et al.
Published: (2012)

Remote Professional Media Production: Evaluation of Network Configuration That Satisfies Delay Requirements
by: Junichiro Kawamoto, et al.
Published: (2021-01-01)

A Satisfiability-Based Auto Test Pattern Generation for Path Delay Faults
by: Chih-HungWu, et al.
Published: (2005)

Members of Cooperatives: More Heterogeneous, Less Satisfied?
by: Cook, M.L, et al.
Published: (2021)

Satisfying journey!
by: Balaji Manohar
Published: (2015-01-01)

Unbalanced but Satisfied?
by: Asha N Shenoi
Published: (2016-01-01)

Structure in satisfiability
by: Gregory, Peter
Published: (2008)

A trajectory data publishing algorithm satisfying local suppression
by: Xiaohui Li, et al.
Published: (2021-02-01)

Iterative Algorithm for Mappings Satisfying Bγ,μ Condition
by: Thabet Abdeljawad, et al.
Published: (2020-01-01)

Genetic Algorithm for Restricted Maximum k-Satisfiability in the Hopfield Network
by: Mohd Shareduwan Bin Mohd Kasihmuddin, et al.
Published: (2016-12-01)

Design of an Efficient Multicast Routing Algorithm for Satisfying QoS Requirements
by: Chang-Jen Wang, et al.
Published: (2005)

Combinatorial Structures in Finite Automata, CNF Satisfiability and Arithmetic Computation
by: Matsuura, Akihiro
Published: (2011)

Symmetry in Boolean Satisfiability
by: Fadi A. Aloul
Published: (2010-06-01)

The Dynamic Resource Allocation Management for Satisfying the QoS in Cloud Computing
by: Ｒung-yow liaw, et al.
Published: (2013)

SEPTORHINOPLASTY PATIENTS, ARE THEY SATISFIED?
by: Ahmed M Al-Abbasi
Published: (2018-06-01)

Selection of Satisfied Association Rules via Aggregation of Linguistic Satisfied Degrees
by: Fangling Ren, et al.
Published: (2019-01-01)

Cannot write session to /tmp/vufind_sessions/sess_ivdo9t0qt35jdtjaoctsuqbhnl