Search results for "SBDD"

Found 18 publication records. Showing 18 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
122	Ian P. Gent, Warwick Harvey, Tom Kelsey, Steve Linton	Generic SBDD Using Computational Group Theory.	CP	2003	DBLP DOI BibTeX RDF
64	Daniel S. Heller, Aurojit Panda, Meinolf Sellmann, Justin Yip	Model Restarts for Structural Symmetry Breaking.	CP	2008	DBLP DOI BibTeX RDF
64	Nicolas Barnier, Pascal Brisset	Solving Kirkman's Schoolgirl Problem in a Few Seconds.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	social golfer problem, resolvable steiner systems, symmetry breaking
64	Nicolas Barnier, Pascal Brisset	Solving the Kirkman's Schoolgirl Problem in a Few Seconds.	CP	2002	DBLP DOI BibTeX RDF	Social Golfer Problem, Resolvable Steiner Systems, Symmetry Breaking
57	Jean-Francois Puget	Symmetry Breaking Revisited.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	SBDD, social golfer problem, search, symmetry, breaking, BIBD
42	Daniel S. Heller, Meinolf Sellmann	Dynamic Symmetry Breaking Restarted.	CP	2006	DBLP DOI BibTeX RDF
42	Mitchell A. Thornton, J. P. Williams, Rolf Drechsler, Nicole Drechsler	Variable Reordering for Shared Binary Decision Diagrams Using Output Probabilities.	DATE	1999	DBLP DOI BibTeX RDF
37	Bowen Gao, Minsi Ren, Yuyan Ni, Yanwen Huang, Bo Qiang, Zhi-Ming Ma, Wei-Ying Ma, Yanyan Lan	Rethinking Specificity in SBDD: Leveraging Delta Score and Energy-Guided Diffusion.	CoRR	2024	DBLP DOI BibTeX RDF
37	Xiaoce Zhang, Xuefeng Yan, Yong Zhou	一种基于动态故障树的SBDD方法 (Method of SBDD Based on Dynamic Fault Tree).	计算机科学	2017	DBLP DOI BibTeX RDF
37	Daochuan Ge, Dong Li, Qiang Chou, Ruoxing Zhang, Yanhua Yang	Quantification of Highly Coupled Dynamic Fault Tree Using IRVPM and SBDD.	Qual. Reliab. Eng. Int.	2016	DBLP DOI BibTeX RDF
37	Hiroyuki Ochi, Nagisa Ishiura, Shuzo Yajima	Breadth-First Manipulation of SBDD of Boolean Functions for Vector Processing.	DAC	1991	DBLP DOI BibTeX RDF
21	Ian P. Gent, Tom Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith	Conditional Symmetry Breaking.	CP	2005	DBLP DOI BibTeX RDF
21	Tom Kelsey, Steve Linton, Colva M. Roney-Dougal	New Developments in Symmetry Breaking in Search Using Computational Group Theory.	AISC	2004	DBLP DOI BibTeX RDF
21	David P. Enot, Ross D. King	Application of Inductive Logic Programming to Structure-Based Drug Design.	PKDD	2003	DBLP DOI BibTeX RDF
21	Iain McDonald	NuSBDS: An Easy to Use Symmetry Breaking System.	CP	2003	DBLP DOI BibTeX RDF
21	Hafiz Md. Hasan Babu, Tsutomu Sasao	Representations of Multiple-Output Switching Functions Using Multiple-Valued Pseudo-Kronecker Decision Diagrams.	ISMVL	2000	DBLP DOI BibTeX RDF	Binary decision diagram (BDD), multiple-valued decision diagram (MDD), multi-level logic synthesis, look-up table type FPGA design, multiple-valued logic, multiple-output function
21	Shin-ichi Minato, Nagisa Ishiura, Shuzo Yajima	Shared Binary Decision Diagram with Attributed Edges for Efficient Boolean function Manipulation.	DAC	1990	DBLP DOI BibTeX RDF
21	Nagisa Ishiura, Yutaka Deguchi, Shuzo Yajima	Coded Time-Symbolic Simulation Using Shared Binary Decision Diagram.	DAC	1990	DBLP DOI BibTeX RDF