Search results for "binate"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
96	Tiziano Villa, Timothy Kam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	Explicit and implicit algorithms for binate covering problems.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
96	Stan Y. Liao, Srinivas Devadas, Kurt Keutzer, Steven W. K. Tjiang	Instruction selection using binate covering for code size optimization.	ICCAD	1995	DBLP DOI BibTeX RDF	code generation, digital signal processors, instruction selection
92	Vasco M. Manquinho, João P. Marques Silva	Satisfiability-Based Algorithms for Boolean Optimization.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	binate covering problem, non-chronological backtracking, branch-and-bound, backtrack search, propositional satisfiability
71	Stan Y. Liao, Kurt Keutzer, Steven W. K. Tjiang, Srinivas Devadas	A new viewpoint on code generation for directed acyclic graphs.	ACM Trans. Design Autom. Electr. Syst.	1998	DBLP DOI BibTeX RDF	binate covering, code generation, directed acyclic graphs
63	Xiao Yu Li, Matthias F. M. Stallmann, Franc Brglez	Effective bounding techniques for solving unate and binate covering problems.	DAC	2005	DBLP DOI BibTeX RDF	binate, unate, satisfiability, branch and bound, covering
54	Vasco M. Manquinho, João P. Marques Silva	Search pruning techniques in SAT-based branch-and-bound algorithmsfor the binate covering problem.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2002	DBLP DOI BibTeX RDF
54	M. Pipponzi, Fabio Somenzi	An iterative algorithm for the binate covering problem.	EURO-DAC	1990	DBLP DOI BibTeX RDF
42	Xiao-dong Sun, Hong-Bin Zhang	A Fast Hole-filling Strategy of 3D Scanned Human Body.	CGIV	2009	DBLP DOI BibTeX RDF
42	Vasco M. Manquinho, João Marques-Silva 0001	On Using Satisfiability-Based Pruning Techniques in Covering Algorithms.	DATE	2000	DBLP DOI BibTeX RDF
42	Robert M. Fuhrer, Steven M. Nowick	OPTIMISTA: state minimization of asynchronous FSMs for optimum output logic.	ICCAD	1999	DBLP DOI BibTeX RDF
42	Stan Y. Liao, Srinivas Devadas	Solving Covering Problems Using LPR-Based Lower Bounds.	DAC	1997	DBLP DOI BibTeX RDF	integer linear programming, Covering problems
33	Abdirahman Alasow, Marek A. Perkowski	Quantum Algorithms for Unate and Binate Covering Problems with Application to Finite State Machine Minimization.	FLAP	2023	DBLP BibTeX RDF
33	Soumita Hazra, Arti M. K.	Analysis of binate hop cascaded satellite terrene link with correlated LOS constituents.	IET Commun.	2020	DBLP DOI BibTeX RDF
33	Bo Jiao, Ronghua Guo, Yican Jin, Xuejun Yuan, Zhe Han, Fei Huang	An Improvement Direction for the Simple Random Walk Sampling: Adding Multi-homed Nodes and Reducing Inner Binate Nodes.	CollaborateCom	2016	DBLP DOI BibTeX RDF
33	Nikhil Srinivasan, Richard J. Boland, Youngjin Yoo, Kalle Lyytinen, Nicholas Berente	Binate Diversity and IT at the Rolling Edge of Design Networks.	ICIS	2007	DBLP BibTeX RDF
33	Michal Servít, Kang Yi	Technology mapping by binate covering.	FPL	1997	DBLP DOI BibTeX RDF
33	Seh-Woong Jeong, Fabio Somenzi	A new algorithm for the binate covering problem and its application to the minimization of Boolean relations.	ICCAD	1992	DBLP DOI BibTeX RDF
29	Jason Cong, Yiping Fan, Guoling Han, Zhiru Zhang	Application-specific instruction generation for configurable processor architectures.	FPGA	2004	DBLP DOI BibTeX RDF	binate covering, compilation, ASIP, technology mapping, configurable processor
21	Daniel Le Berre, Pierre Marquis, Meltem Öztürk	Aggregating Interval Orders by Propositional Optimization.	ADT	2009	DBLP DOI BibTeX RDF	preference modelling and aggregation, propositional reasoning, Boolean optimization, Interval orders
21	Franc Brglez, Jason A. Osborne	Performance testing of combinatorial solvers with isomorph class instances.	Experimental Computer Science	2007	DBLP DOI BibTeX RDF	scientific method
21	Farzan Fallah, Stan Y. Liao, Srinivas Devadas	Solving covering problems using LPR-based lower bounds.	IEEE Trans. Very Large Scale Integr. Syst.	2000	DBLP DOI BibTeX RDF
21	Luís Guerra e Silva, Luís Miguel Silveira, João Marques-Silva 0001	Algorithms for Solving Boolean Satisfiability in Combinational Circuits.	DATE	1999	DBLP DOI BibTeX RDF	Circuit Delay Computation, Test Pattern Generation, Boolean Satisfiability, Circuit Satisfiability
21	Maurizio Damiani, Jerry Chih-Yuan Yang, Giovanni De Micheli	Optimization of combinational logic circuits based on compatible gates.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF