Search results for "pseudo-Boolean programming"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Sébastien Angibaud, Guillaume Fertin, Irena Rusu, Stéphane Vialette	How Pseudo-boolean Programming Can Help Genome Rearrangement Distance Computation.	Comparative Genomics	2006	DBLP DOI BibTeX RDF	heuristic, genome rearrangement, duplication, common intervals, pseudo-boolean programming
2	Sébastien Angibaud, Guillaume Fertin, Irena Rusu, Annelyse Thévenin, Stéphane Vialette	A Pseudo-boolean Programming Approach for Computing the Breakpoint Distance Between Two Genomes with Duplicate Genes.	RECOMB-CG	2007	DBLP DOI BibTeX RDF	breakpoint distance, heuristic, genome rearrangement, duplication, pseudo-boolean programming
2	Chuan-Yu Wang, Kaushik Roy	Control unit synthesis targeting low-power processors. (PDF / PS)	ICCD	1995	DBLP DOI BibTeX RDF	control unit synthesis, low-power processors, low-power decoding scheme, microprogrammed architecture, nanoprogrammed architecture, 8086 instruction set, instruction opcodes, computer architecture, logic design, encoding, decoding, microprocessor chips, graph embedding, instruction sets, microprogramming, CMOS circuits, logic minimization, system reliability, switching activity, minimisation of switching nets, pseudo-Boolean programming
2	Pramode Ranjan Bhattacharjee, Sanjoy Kumar Basu, Jogesh Chandra Paul	Translation of the Problem of Complete Test Set Generation to Pseudo-Boolean Programming.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	complete test set generation, logical expressions, real transforms, logic programming, logic testing, Boolean function, Boolean functions, formal logic, pseudo-Boolean programming
2	Spiros G. Papaioannou	Optimal Test Generation in Combinational Networks by Pseudo-Boolean Programming.	IEEE Trans. Computers	1977	DBLP DOI BibTeX RDF	Boolean difference, fault detection, fault location, combinational networks, pseudo-Boolean programming
1	Sébastien Angibaud, Guillaume Fertin, Annelyse Thévenin, Stéphane Vialette	Pseudo Boolean Programming for Partially Ordered Genomes.	RECOMB-CG	2009	DBLP DOI BibTeX RDF
1	C.-Y. Wang, K. Roy	An activity-driven encoding scheme for power optimization in microprogrammed control unit.	IEEE Trans. VLSI Syst.	1999	DBLP DOI BibTeX RDF
1	Yves Crama, Pierre Hansen, Brigitte Jaumard	The basic algorithm for pseudo-Boolean programming revisited.	Discrete Applied Mathematics	1990	DBLP DOI BibTeX RDF
1	Stanislaw Walukiewicz, Leon Slominski, Marian Faner	An Improved Algorithm for Pseudo-Boolean Programming.	Optimization Techniques	1973	DBLP DOI BibTeX RDF