Satisfiability - Globe Thesis

Keyword [Satisfiability] Result: 141 - 160 \| Page: 8 of 9
141.	Algorithms and Data Structures for Logic Synthesis and Verification Using Boolean Satisfiability
142.	Satisfiability-based debugging of sequential and hierarchical designs
143.	Satisfiability checking for quality assurance in relational data processing
144.	Results on Extensions of the Satisfiability Problem
145.	Complexity analysis of a massively parallel Boolean satisfiability implication circuit
146.	Formally certified satisfiability solving
147.	Diagnosis of combinational logic circuits using Boolean satisfiability
148.	Optimization algorithms for the minimum-cost satisfiability problem
149.	On co-optimization of constrained satisfiability problems for hardware software applications
150.	A Satisfiability Algorithm for Constant Depth Boolean Circuits with Unbounded Fan-In Gates
151.	Scalable algorithms for Boolean satisfiability enabled by problem structure
152.	Searching for truth: Techniques for satisfiability of Boolean formulas
153.	Accelerating Boolean satisfiability through application-specific processing
154.	Incremental Boolean satisfiability and its application to electronic design automation
155.	Propositional satisfiability algorithms in EDA applications
156.	Verification of reactive systems and decision problems in temporal logic
157.	Complete randomized cutting plane algorithms for propositional satisfiability
158.	Using configurable computing to accelerate Boolean satisfiability
159.	Integrative analysis of state-based requirements for completeness and consistency
160.	EFFICIENT ALGORITHMS FOR CERTAIN SATISFIABILITY AND LINEAR PROGRAMMING PROBLEMS
<<First <Prev Next> Last>> Jump to