Search results for "pseudo-boolean"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
80	Guoli Ding, Jianhua Chen 0003, Robert F. Lax, Peter P. Chen	Efficient Learning of Pseudo-Boolean Functions from Limited Training Data.	ISMIS	2005	DBLP DOI BibTeX RDF
61	Donald Chai, Andreas Kuehlmann	A fast pseudo-boolean constraint solver.	DAC	2003	DBLP DOI BibTeX RDF	0-1 ILP, pseudo-boolean, satisfiability
60	Fadi A. Aloul, Arathi Ramani, Karem A. Sakallah, Igor L. Markov	Solution and Optimization of Systems of Pseudo-Boolean Constraints.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Pseudo Boolean (PB), Max-ONE, Global Routing, Conjunctive Normal Form (CNF), Backtrack Search, Integer Linear Programming (ILP), Max-SAT, Boolean Satisfiability (SAT)
60	Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich	Solving Multi-objective Pseudo-Boolean Problems.	SAT	2007	DBLP DOI BibTeX RDF
57	Olivier Bailleux, Yacine Boufkhad, Olivier Roussel	New Encodings of Pseudo-Boolean Constraints into CNF.	SAT	2009	DBLP DOI BibTeX RDF	Pseudo-Boolean, SAT translation
57	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
57	Priscila Machado Vieira Lima, Glaucia C. Pereira, M. Mariela Morveli-Espinoza, Felipe M. G. França	Mapping and Combining Combinatorial Problems into Energy Landscapes via Pseudo-Boolean Constraints.	BVAI	2005	DBLP DOI BibTeX RDF	Higher-order Networks, Pseudo-Boolean Constraints, Simulated Annealing, TSP, Satisfiability, Graph Colouring
55	Lengning Liu, Miroslaw Truszczynski	Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques.	Constraints An Int. J.	2007	DBLP DOI BibTeX RDF	Pseudo-Boolean constraints, Boolean satisfiability, Stochastic local search
51	Ana Graça, João Marques-Silva 0001, Inês Lynce, Arlindo L. Oliveira	Efficient Haplotype Inference with Pseudo-boolean Optimization.	AB	2007	DBLP DOI BibTeX RDF	pure parsimony, pseudo-Boolean optimization, haplotype inference
47	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
47	Bahram Alidaee, Haibo Wang 0001, Yaquan Xu	A Pseudo-Boolean Optimization for Multiple Criteria Decision Making in Complex Systems.	International Conference on Computational Science (4)	2007	DBLP DOI BibTeX RDF	Pseudo-Boolean Optimization, Multiple Criteria Decision Making
46	Timo Berthold, Stefan Heinz 0001, Marc E. Pfetsch	Nonlinear Pseudo-Boolean Optimization: Relaxation or Propagation?.	SAT	2009	DBLP DOI BibTeX RDF
46	Dominique de Werra, Peter L. Hammer	Weighted stability number of graphs and weighted satisfiability: The two facets of pseudo-Boolean optimization.	Ann. Oper. Res.	2007	DBLP DOI BibTeX RDF
45	Donald Chai, Andreas Kuehlmann	A fast pseudo-Boolean constraint solver.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
41	Hratch Mangassarian, Andreas G. Veneris, Sean Safarpour, Farid N. Najm, Magdy S. Abadir	Maximum circuit activity estimation using pseudo-boolean satisfiability.	DATE	2007	DBLP DOI BibTeX RDF
40	Deborah East, Miroslaw Truszczynski	Predicate-calculus-based logics for modeling and solving search problems.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	pseudo-Boolean constraints, constraints, Satisfiability, search problems, predicate logic
39	Stanislav Zivný, David A. Cohen, Peter G. Jeavons	The Expressive Power of Binary Submodular Functions.	MFCS	2009	DBLP DOI BibTeX RDF	Decomposition of submodular functions, Pseudo-Boolean optimisation, Submodular function minimisation, Min-Cut
39	Jan-Georg Smaus	On Boolean Functions Encodable as a Single Linear Pseudo-Boolean Constraint.	CPAIOR	2007	DBLP DOI BibTeX RDF
37	Tsuyoshi Iwagaki, Mineo Kaneko	A Pseudo-Boolean Technique for Generating Compact Transition Tests with All-Output-Propagation Properties.	DELTA	2010	DBLP DOI BibTeX RDF	pseudo-Boolean model, all-output-propagation (AOP), test set reduction, transition fault
37	Yong-Hyuk Kim	Linear transformation in Pseudo-Boolean functions.	GECCO	2008	DBLP DOI BibTeX RDF	coordinate-change, nonsingular binary matrix, pseudo-boolean function
37	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
37	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
36	Steven D. Prestwich	Incomplete Dynamic Backtracking for Linear Pseudo-Boolean Problems.	Ann. Oper. Res.	2004	DBLP DOI BibTeX RDF	local search, integer programs, satisfiability
35	Nilanjan Banerjee, Rajeev Kumar 0004	Expected Running Time Analysis of a Multiobjective Evolutionary Algorithm on Pseudo-boolean Functions.	ICONIP	2004	DBLP DOI BibTeX RDF
35	Hang Zhang, Jonathan E. Rowe	Best approximations of fitness functions of binary strings.	Nat. Comput.	2004	DBLP DOI BibTeX RDF	pseudo-boolean function, approximation, fitness function
31	Vasco M. Manquinho, João Marques-Silva 0001	Effective Lower Bounding Techniques for Pseudo-Boolean Optimization.	DATE	2005	DBLP DOI BibTeX RDF
30	Sung-Soon Choi, Jeong Han Kim	Optimal query complexity bounds for finding graphs.	STOC	2008	DBLP DOI BibTeX RDF	coin weighing problem, combinatorial group testing, combinatorial search, graph finding, littlewood-offord theorem, pseudo-boolean function, fourier coefficient
30	Mikhail Y. Kovalyov, Marie-Claude Portmann, Ammar Oulamara	Optimal testing and repairing a failed series system.	J. Comb. Optim.	2006	DBLP DOI BibTeX RDF	Test and repair policies, Pseudo-boolean functions, Optimization, Failure diagnosis, Fully polynomial time approximation scheme
30	Chuan-Yu Wang, Kaushik Roy 0001	Control unit synthesis targeting low-power processors.	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
29	Vasco M. Manquinho, João Marques-Silva 0001, Jordi Planes	Algorithms for Weighted Boolean Optimization.	SAT	2009	DBLP DOI BibTeX RDF
28	Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah	Dynamic symmetry-breaking for improved Boolean optimization.	ASP-DAC	2005	DBLP DOI BibTeX RDF
26	João Delgado, Inês Lynce, Vasco M. Manquinho	Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes Using Pseudo-Boolean Optimization.	RECOMB-CG	2009	DBLP DOI BibTeX RDF
26	Benjamin Doerr, Daniel Johannsen, Ching Hoo Tang	How Single Ant ACO Systems Optimize Pseudo-Boolean Functions.	PPSN	2008	DBLP DOI BibTeX RDF
26	Frank Neumann 0001, Dirk Sudholt, Carsten Witt	Comparing Variants of MMAS ACO Algorithms on Pseudo-Boolean Functions.	SLS	2007	DBLP DOI BibTeX RDF
26	Sayak Ray, Pallab Dasgupta, P. P. Chakrabarti 0001	A New Pseudo-Boolean Satisfiability based approach to Power Mode Schedulability Analysis.	VLSI Design	2007	DBLP DOI BibTeX RDF
26	Vasco M. Manquinho, João Marques-Silva 0001	On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization.	SAT	2005	DBLP DOI BibTeX RDF
26	Vasco M. Manquinho, João Marques-Silva 0001	Satisfiability-Based Algorithms for Pseudo-Boolean Optimization Using Gomory Cuts and Search Restarts.	ICTAI	2005	DBLP DOI BibTeX RDF
26	Carsten Witt	An Analysis of the (µ+1) EA on Simple Pseudo-Boolean Functions.	GECCO (1)	2004	DBLP DOI BibTeX RDF
25	Romain Wallon	Pseudo-Boolean Reasoning and Compilation. (Raisonnement à partir de contraintes pseudo-booléennes et compilation).		2020	RDF
25	Michele Favalli, Marcello Dalpasso	Boolean and Pseudo-Boolean Test Generation for Feedback Bridging Faults.	IEEE Trans. Computers	2016	DBLP DOI BibTeX RDF
25	Miguel Couceiro, Jean-Luc Marichal, Tamás Waldhauser	Locally monotone Boolean and pseudo-Boolean functions.	Discret. Appl. Math.	2012	DBLP DOI BibTeX RDF
25	Miguel Couceiro, Jean-Luc Marichal, Tamás Waldhauser	Hierarchies of Local Monotonicities and Lattice Derivatives for Boolean and Pseudo-Boolean Functions.	ISMVL	2012	DBLP DOI BibTeX RDF
25	Miguel Couceiro, Jean-Luc Marichal, Tamás Waldhauser	Locally monotone Boolean and pseudo-Boolean functions	CoRR	2011	DBLP BibTeX RDF
25	Robert Wille, Hongyan Zhang 0003, Rolf Drechsler	ATPG for Reversible Circuits Using Simulation, Boolean Satisfiability, and Pseudo Boolean Optimization.	ISVLSI	2011	DBLP DOI BibTeX RDF
25	Lengning Liu, Miroslaw Truszczynski	Local-Search Techniques for Boolean Combinations of Pseudo-Boolean Constraints.	AAAI	2006	DBLP BibTeX RDF
25	Endre Boros, Peter L. Hammer	Cut-Polytopes, Boolean Quadric Polytopes and Nonnegative Quadratic Pseudo-Boolean Functions.	Math. Oper. Res.	1993	DBLP DOI BibTeX RDF
25	George J. Klir	On the Solution of Boolean and Pseudo-Boolean Relations.	IEEE Trans. Computers	1974	DBLP DOI BibTeX RDF
23	Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah	Generic ILP versus specialized 0-1 ILP: an update.	ICCAD	2002	DBLP DOI BibTeX RDF
21	Vladimir Kolmogorov, Carsten Rother	Minimizing Nonsubmodular Functions with Graph Cuts-A Review.	IEEE Trans. Pattern Anal. Mach. Intell.	2007	DBLP DOI BibTeX RDF	quadratic pseudo-Boolean optimization, min cut/max flow, texture restoration, Markov Random Fields, Energy minimization
21	Endre Boros, Peter L. Hammer, Gabriel Tavares	Local search heuristics for Quadratic Unconstrained Binary Optimization (QUBO).	J. Heuristics	2007	DBLP DOI BibTeX RDF	Quadratic unconstrained binary optimization, Quadratic pseudo-Boolean functions, Heuristics, Integer programming, Local optimization
21	Panagiotis Manolios, Daron Vroon 0001, Gayatri Subramanian	Automating component-based system assembly.	ISSTA	2007	DBLP DOI BibTeX RDF	integrated modular avionics, pseudo-boolean satisfiability, system assembly problem, component-based software development
21	John P. Hayes	Uncertainty, Energy, and Multiple-Valued Logics.	IEEE Trans. Computers	1986	DBLP DOI BibTeX RDF	unknown values, pseudo- Boolean algebra, switch-level simulation, multiple-valued logic, Logic simulation, switching theory
20	Edda Happ, Daniel Johannsen, Christian Klein 0001, Frank Neumann 0001	Rigorous analyses of fitness-proportional selection for optimizing linear functions.	GECCO	2008	DBLP DOI BibTeX RDF	theory, selection, running time analysis
20	Alain Billionnet, Marie-Christine Costa, Alain Sutter	An Efficient Algorithm for a Task Allocation Problem.	J. ACM	1992	DBLP DOI BibTeX RDF	quadratic 0-1 optimization, task allocation, interprocessor communication, branch-and-bound algorithm, Lagrangean relaxation
19	João Marques-Silva 0001, Jordi Planes	Algorithms for Maximum Satisfiability using Unsatisfiable Cores.	DATE	2008	DBLP DOI BibTeX RDF
19	Stanislav Zivný, Peter Jeavons 0001	Classes of Submodular Constraints Expressible by Graph Cuts.	CP	2008	DBLP DOI BibTeX RDF
19	Antonio Lioy, Enrico Macii, Massimo Poncino, Massimo Rossello	Accurate Entropy Calculation for Large Logic Circuits Based on Output Clustering.	Great Lakes Symposium on VLSI	1997	DBLP DOI BibTeX RDF
19	Randal E. Bryant	Multipliers and Dividers: Insights on Arithmetic Circuits Verification (Extended Abstract).	CAV	1995	DBLP DOI BibTeX RDF
16	Jiongzhi Zheng, Zhuo Chen, Chu-Min Li, Kun He 0001	Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers.	CoRR	2024	DBLP DOI BibTeX RDF
16	Luyu Jiang, Dantong Ouyang, Qi Zhang, Liming Zhang 0005	DeciLS-PBO: an effective local search method for pseudo-Boolean optimization.	Frontiers Comput. Sci.	2024	DBLP DOI BibTeX RDF
16	Suwei Yang, Kuldeep S. Meel	Engineering an Exact Pseudo-Boolean Model Counter.	AAAI	2024	DBLP DOI BibTeX RDF
16	Ricardo N. Liang, Eduardo A. J. Anacleto, Cláudio N. Meneses	Fast 1-flip neighborhood evaluations for large-scale pseudo-Boolean optimization using posiform representation.	Comput. Oper. Res.	2023	DBLP DOI BibTeX RDF
16	Luyu Jiang, Dantong Ouyang, Qi Zhang, Liming Zhang 0005	DeciLS-PBO: an Effective Local Search Method for Pseudo-Boolean Optimization.	CoRR	2023	DBLP DOI BibTeX RDF
16	Gioni Mexi, Timo Berthold, Ambros M. Gleixner, Jakob Nordström	Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning.	CoRR	2023	DBLP DOI BibTeX RDF
16	Suwei Yang, Kuldeep S. Meel	Engineering an Exact Pseudo-Boolean Model Counter.	CoRR	2023	DBLP DOI BibTeX RDF
16	Yong Lai, Zhenghang Xu, Minghao Yin	PBCounter: Weighted Model Counting on Pseudo-Boolean Formulas.	CoRR	2023	DBLP DOI BibTeX RDF
16	Alberto Del Pia, Aida Khajavirad	The pseudo-Boolean polytope and polynomial-size extended formulations for binary polynomial optimization.	CoRR	2023	DBLP DOI BibTeX RDF
16	Tendai Mapungwana Chikake, Boris Goldengorin	A Pseudo-Boolean Polynomials Approach for Image Edge Detection.	CoRR	2023	DBLP DOI BibTeX RDF
16	Matthias Walter	The Binary Linearization Complexity of Pseudo-Boolean Functions.	CoRR	2023	DBLP DOI BibTeX RDF
16	Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker	Learning to Select SAT Encodings for Pseudo-Boolean and Linear Integer Constraints.	CoRR	2023	DBLP DOI BibTeX RDF
16	Tendai Mapungwana Chikake, Boris Goldengorin, Alexey Samosyuk	Pseudo-Boolean Polynomials Approach To Edge Detection And Image Segmentation.	CoRR	2023	DBLP DOI BibTeX RDF
16	Catalina Pezo, Dorit S. Hochbaum, Julio Godoy, Roberto Javier Asín Achá	Automatic Algorithm Selection for Pseudo-Boolean Optimization with Given Computational Time Limits.	CoRR	2023	DBLP DOI BibTeX RDF
16	Tendai Mapungwana Chikake, Boris Goldengorin	Dimensionality Reduction Using pseudo-Boolean polynomials For Cluster Analysis.	CoRR	2023	DBLP DOI BibTeX RDF
16	Bilel Derbel, Geoffrey Pruvost, Arnaud Liefooghe, Sébastien Vérel, Qingfu Zhang 0001	Walsh-based surrogate-assisted multi-objective combinatorial optimization: A fine-grained analysis for pseudo-boolean functions.	Appl. Soft Comput.	2023	DBLP DOI BibTeX RDF
16	Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker	Learning to select SAT encodings for pseudo-Boolean and linear integer constraints.	Constraints An Int. J.	2023	DBLP DOI BibTeX RDF
16	Marcel Merten, Muhammad Hassan 0002, Rolf Drechsler	Quality Assessment of Logic Locking Mechanisms using Pseudo-Boolean Optimization Techniques.	DDECS	2023	DBLP DOI BibTeX RDF
16	Markus Iser, Jeremias Berg, Matti Järvisalo	Oracle-Based Local Search for Pseudo-Boolean Optimization.	ECAI	2023	DBLP DOI BibTeX RDF
16	Darrell Whitley, Gabriela Ochoa, Francisco Chicano	Partition Crossover can Linearize Local Optima Lattices of k-bounded Pseudo-Boolean Functions.	FOGA	2023	DBLP DOI BibTeX RDF
16	Yi Chu, Shaowei Cai 0001, Chuan Luo 0002, Zhendong Lei, Cong Peng 0004	Towards More Efficient Local Search for Pseudo-Boolean Optimization.	CP	2023	DBLP DOI BibTeX RDF
16	Wenbo Zhou, Yujiao Zhao, Yiyuan Wang, Shaowei Cai 0001, Shimao Wang, Xinyu Wang, Minghao Yin	Improving Local Search for Pseudo Boolean Optimization by Fragile Scoring Function and Deep Optimization.	CP	2023	DBLP DOI BibTeX RDF
16	Gioni Mexi, Timo Berthold, Ambros M. Gleixner, Jakob Nordström	Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning.	CP	2023	DBLP DOI BibTeX RDF
16	Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret	SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract).	IJCAI	2023	DBLP DOI BibTeX RDF
16	Stephan Gocht, Ruben Martins, Jakob Nordström, Andy Oertel	Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract).	IJCAI	2023	DBLP DOI BibTeX RDF
16	Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret	SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints.	Artif. Intell.	2022	DBLP DOI BibTeX RDF
16	Stephan Gocht, Jakob Nordström	Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs.	CoRR	2022	DBLP DOI BibTeX RDF
16	Richik Sengupta, Jacob D. Biamonte	On Symmetric Pseudo-Boolean Functions: Factorization, Kernels and Applications.	CoRR	2022	DBLP DOI BibTeX RDF
16	Michal Karpinski, Marek Piotrów	Reusing Comparator Networks in Pseudo-Boolean Encodings.	CoRR	2022	DBLP DOI BibTeX RDF
16	Martin Mariusz Lester	Pseudo-Boolean optimisation for RobinX sports timetabling.	J. Sched.	2022	DBLP DOI BibTeX RDF
16	Christophe Labreuche	Explanation of Pseudo-Boolean Functions Using Cooperative Game Theory and Prime Implicants.	SUM	2022	DBLP DOI BibTeX RDF
16	Daimy Van Caudenberg, Bart Bogaerts 0001	Symmetry and Dominance Breaking for Pseudo-Boolean Optimization.	BNAIC/BENELEARN	2022	DBLP DOI BibTeX RDF
16	Pavel Smirnov 0003, Jeremias Berg, Matti Järvisalo	Improvements to the Implicit Hitting Set Approach to Pseudo-Boolean Optimization.	SAT	2022	DBLP DOI BibTeX RDF
16	Stephan Gocht, Ruben Martins, Jakob Nordström, Andy Oertel	Certified CNF Translations for Pseudo-Boolean Solving.	SAT	2022	DBLP DOI BibTeX RDF
16	Renato Tinós, Michal Witold Przewozniczek, Darrell Whitley	Iterated local search with perturbation based on variables interaction for pseudo-boolean optimization.	GECCO	2022	DBLP DOI BibTeX RDF
16	Randal E. Bryant, Armin Biere, Marijn J. H. Heule	Clausal Proofs for Pseudo-Boolean Reasoning.	TACAS (1)	2022	DBLP DOI BibTeX RDF
16	Michal Karpinski, Marek Piotrów	Reusing Comparator Networks in Pseudo-Boolean Encodings.	ICTAI	2022	DBLP DOI BibTeX RDF
16	Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker	Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints.	CP	2022	DBLP DOI BibTeX RDF
16	Meriem Mahar, Hacène Belbachir, Abdellah Mokrane	Side-Channel Analysis and pseudo-Boolean functions.	SDS	2022	DBLP DOI BibTeX RDF
16	Jinwook Lee, Lanqing Du, Jade Zhang, Matthew J. Schneider	Time series data identification and optimization with the measurements of potential bias and discrimination issues based on pseudo-Boolean functions.	ISAIM	2022	DBLP BibTeX RDF
16	Yves Crama, Sourour Elloumi, Amélie Lambert, Elisabeth Rodríguez-Heck	Quadratic reformulations for the optimization of pseudo-boolean functions.	ISAIM	2022	DBLP BibTeX RDF
16	Endre Boros, Joonhee Lee	Boole's probability bounding problem, linear programming aggregations, and nonnegative quadratic pseudo-Boolean functions.	ISAIM	2022	DBLP BibTeX RDF