The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Pseudo-Boolean (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1969-1989 (15) 1990-1997 (15) 1998-2003 (19) 2004-2005 (29) 2006 (17) 2007 (25) 2008 (23) 2009-2010 (27) 2011 (21) 2012 (20) 2013-2014 (17) 2015-2016 (21) 2017-2018 (15) 2019-2020 (35) 2021 (20) 2022 (18) 2023 (22) 2024 (3)
Publication types (Num. hits)
article(150) data(1) incollection(2) inproceedings(203) phdthesis(6)
Venues (Conferences, Journals, ...)
CoRR(46) SAT(19) Discret. Appl. Math.(16) GECCO(15) CP(12) IJCAI(10) AAAI(8) ISAIM(8) IEEE Trans. Computers(7) Constraints An Int. J.(6) ICTAI(6) DATE(5) FOGA(5) J. Satisf. Boolean Model. Comp...(5) PPSN(5) CPAIOR(4) More (+10 of total 158)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 114 occurrences of 90 keywords

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