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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 15th International Symposium, ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings, pp. 323-331, 2005, Springer, 3-540-25878-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
61 | Donald Chai, Andreas Kuehlmann |
A fast pseudo-boolean constraint solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, CA, USA, June 2-6, 2003, pp. 830-835, 2003, ACM, 1-58113-688-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 56(10), pp. 1415-1424, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing - SAT 2007, 10th International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings, pp. 56-69, 2007, Springer, 978-3-540-72787-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
57 | Olivier Bailleux, Yacine Boufkhad, Olivier Roussel |
New Encodings of Pseudo-Boolean Constraints into CNF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing - SAT 2009, 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings, pp. 181-194, 2009, Springer, 978-3-642-02776-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comparative Genomics ![In: Comparative Genomics, RECOMB 2006 International Workshop, RCG 2006, Montreal, Canada, September 24-26, 2006, Proceedings, pp. 75-86, 2006, Springer, 3-540-44529-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BVAI ![In: Brain, Vision, and Artificial Intelligence, First International Symposium, BVAI 2005, Naples, Italy, October 19-21, 2005, Proceedings, pp. 308-317, 2005, Springer, 3-540-29282-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 12(3), pp. 345-369, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AB ![In: Algebraic Biology, Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings, pp. 125-139, 2007, Springer, 978-3-540-73432-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECOMB-CG ![In: Comparative Genomics, RECOMB 2007 International Workshop, RECOMB-CG 2007, San Diego, CA, USA, September 16-18, 2007, Proceedings, pp. 16-29, 2007, Springer, 978-3-540-74959-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (4) ![In: Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IV, pp. 194-201, 2007, Springer, 978-3-540-72589-3. The full citation details ...](Pics/full.jpeg) |
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?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing - SAT 2009, 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings, pp. 441-446, 2009, Springer, 978-3-642-02776-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 149(1), pp. 67-73, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
45 | Donald Chai, Andreas Kuehlmann |
A fast pseudo-Boolean constraint solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 24(3), pp. 305-317, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2007 Design, Automation and Test in Europe Conference and Exposition, DATE 2007, Nice, France, April 16-20, 2007, pp. 1538-1543, 2007, EDA Consortium, San Jose, CA, USA, 978-3-9810801-2-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
40 | Deborah East, Miroslaw Truszczynski |
Predicate-calculus-based logics for modeling and solving search problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 7(1), pp. 38-83, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2009, 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings, pp. 744-757, 2009, Springer, 978-3-642-03815-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007, Proceedings, pp. 288-302, 2007, Springer, 978-3-540-72396-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Tsuyoshi Iwagaki, Mineo Kaneko |
A Pseudo-Boolean Technique for Generating Compact Transition Tests with All-Output-Propagation Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DELTA ![In: Fifth IEEE International Symposium on Electronic Design, Test & Applications, DELTA 2010, Ho Chi Minh City, Vietnam, January 13-15, 2010, pp. 293-296, 2010, IEEE Computer Society, 978-0-7695-3978-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2008, Proceedings, Atlanta, GA, USA, July 12-16, 2008, pp. 1117-1118, 2008, ACM, 978-1-60558-130-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 40(7), pp. 864-867, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 26(6), pp. 553-560, 1977. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 130(1-4), pp. 57-73, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP ![In: Neural Information Processing, 11th International Conference, ICONIP 2004, Calcutta, India, November 22-25, 2004, Proceedings, pp. 193-198, 2004, Springer, 3-540-23931-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Hang Zhang, Jonathan E. Rowe |
Best approximations of fitness functions of binary strings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Comput. ![In: Nat. Comput. 3(1), pp. 113-124, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2005 Design, Automation and Test in Europe Conference and Exposition (DATE 2005), 7-11 March 2005, Munich, Germany, pp. 660-665, 2005, IEEE Computer Society, 0-7695-2288-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Sung-Soon Choi, Jeong Han Kim |
Optimal query complexity bounds for finding graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 40th Annual ACM Symposium on Theory of Computing, Victoria, British Columbia, Canada, May 17-20, 2008, pp. 749-758, 2008, ACM, 978-1-60558-047-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 12(3), pp. 279-295, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1995 International Conference on Computer Design (ICCD '95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings, pp. 454-459, 1995, IEEE Computer Society, 0-8186-7165-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing - SAT 2009, 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings, pp. 495-508, 2009, Springer, 978-3-642-02776-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah |
Dynamic symmetry-breaking for improved Boolean optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 2005 Conference on Asia South Pacific Design Automation, ASP-DAC 2005, Shanghai, China, January 18-21, 2005, pp. 445-450, 2005, ACM Press, 0-7803-8737-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECOMB-CG ![In: Comparative Genomics, International Workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009. Proceedings, pp. 138-149, 2009, Springer, 978-3-642-04743-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Benjamin Doerr, Daniel Johannsen, Ching Hoo Tang |
How Single Ant ACO Systems Optimize Pseudo-Boolean Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSN ![In: Parallel Problem Solving from Nature - PPSN X, 10th International Conference Dortmund, Germany, September 13-17, 2008, Proceedings, pp. 378-388, 2008, Springer, 978-3-540-87699-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Frank Neumann 0001, Dirk Sudholt, Carsten Witt |
Comparing Variants of MMAS ACO Algorithms on Pseudo-Boolean Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLS ![In: Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics, International Workshop, SLS 2007, Brussels, Belgium, September 6-8, 2007, Proceedings, pp. 61-75, 2007, Springer, 978-3-540-74445-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 20th International Conference on VLSI Design (VLSI Design 2007), Sixth International Conference on Embedded Systems (ICES 2007), 6-10 January 2007, Bangalore, India, pp. 95-102, 2007, IEEE Computer Society, 0-7695-2762-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings, pp. 451-458, 2005, Springer, 3-540-26276-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 14-16 November 2005, Hong Kong, China, pp. 150-155, 2005, IEEE Computer Society, 0-7695-2488-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Carsten Witt |
An Analysis of the (µ+1) EA on Simple Pseudo-Boolean Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (1) ![In: Genetic and Evolutionary Computation - GECCO 2004, Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings, Part I, pp. 761-773, 2004, Springer, 3-540-22344-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Romain Wallon |
Pseudo-Boolean Reasoning and Compilation. (Raisonnement à partir de contraintes pseudo-booléennes et compilation). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
25 | Michele Favalli, Marcello Dalpasso |
Boolean and Pseudo-Boolean Test Generation for Feedback Bridging Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 65(3), pp. 706-715, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Miguel Couceiro, Jean-Luc Marichal, Tamás Waldhauser |
Locally monotone Boolean and pseudo-Boolean functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 160(12), pp. 1651-1660, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 42nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2012, Victoria, BC, Canada, May 14-16, 2012, pp. 262-267, 2012, IEEE Computer Society, 978-1-4673-0908-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Miguel Couceiro, Jean-Luc Marichal, Tamás Waldhauser |
Locally monotone Boolean and pseudo-Boolean functions ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1107.1161, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
25 | Robert Wille, Hongyan Zhang 0003, Rolf Drechsler |
ATPG for Reversible Circuits Using Simulation, Boolean Satisfiability, and Pseudo Boolean Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVLSI ![In: IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2011, 4-6 July 2011, Chennai, India, pp. 120-125, 2011, IEEE Computer Society, 978-0-7695-4447-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Lengning Liu, Miroslaw Truszczynski |
Local-Search Techniques for Boolean Combinations of Pseudo-Boolean Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA, pp. 98-103, 2006, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
25 | Endre Boros, Peter L. Hammer |
Cut-Polytopes, Boolean Quadric Polytopes and Nonnegative Quadratic Pseudo-Boolean Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Oper. Res. ![In: Math. Oper. Res. 18(1), pp. 245-253, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
25 | George J. Klir |
On the Solution of Boolean and Pseudo-Boolean Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 23(10), pp. 1098-1100, 1974. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 2002 IEEE/ACM International Conference on Computer-aided Design, ICCAD 2002, San Jose, California, USA, November 10-14, 2002, pp. 450-457, 2002, ACM / IEEE Computer Society, 0-7803-7607-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Vladimir Kolmogorov, Carsten Rother |
Minimizing Nonsubmodular Functions with Graph Cuts-A Review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 29(7), pp. 1274-1279, 2007. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Heuristics ![In: J. Heuristics 13(2), pp. 99-132, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2007, London, UK, July 9-12, 2007, pp. 61-72, 2007, ACM, 978-1-59593-734-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 35(2), pp. 107-114, 1986. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2008, Proceedings, Atlanta, GA, USA, July 12-16, 2008, pp. 953-960, 2008, ACM, 978-1-60558-130-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 39(3), pp. 502-518, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008, pp. 408-413, 2008, ACM, 978-3-9810801-3-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Stanislav Zivný, Peter Jeavons 0001 |
Classes of Submodular Constraints Expressible by Graph Cuts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings, pp. 112-127, 2008, Springer, 978-3-540-85957-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Great Lakes Symposium on VLSI ![In: 7th Great Lakes Symposium on VLSI (GLS-VLSI '97), 13-15 March 1997, Urbana, IL, USA, pp. 70-, 1997, IEEE Computer Society, 0-8186-7904-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Randal E. Bryant |
Multipliers and Dividers: Insights on Arithmetic Circuits Verification (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 7th International Conference, Liège, Belgium, July, 3-5, 1995, Proceedings, pp. 1-3, 1995, Springer, 3-540-60045-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.10589, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. ![In: Frontiers Comput. Sci. 18(2), pp. 182326, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Suwei Yang, Kuldeep S. Meel |
Engineering an Exact Pseudo-Boolean Model Counter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada, pp. 8200-8208, 2024, AAAI Press. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Oper. Res. ![In: Comput. Oper. Res. 159, pp. 106324, November 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.12251, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.14166, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Suwei Yang, Kuldeep S. Meel |
Engineering an Exact Pseudo-Boolean Model Counter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.12341, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Yong Lai, Zhenghang Xu, Minghao Yin |
PBCounter: Weighted Model Counting on Pseudo-Boolean Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.15877, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Alberto Del Pia, Aida Khajavirad |
The pseudo-Boolean polytope and polynomial-size extended formulations for binary polynomial optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.08693, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Tendai Mapungwana Chikake, Boris Goldengorin |
A Pseudo-Boolean Polynomials Approach for Image Edge Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.15557, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Matthias Walter |
The Binary Linearization Complexity of Pseudo-Boolean Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.06207, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.09342, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Tendai Mapungwana Chikake, Boris Goldengorin, Alexey Samosyuk |
Pseudo-Boolean Polynomials Approach To Edge Detection And Image Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.15453, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.03924, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Tendai Mapungwana Chikake, Boris Goldengorin |
Dimensionality Reduction Using pseudo-Boolean polynomials For Cluster Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.15553, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Soft Comput. ![In: Appl. Soft Comput. 136, pp. 110061, March 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 28(3), pp. 397-426, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Marcel Merten, Muhammad Hassan 0002, Rolf Drechsler |
Quality Assessment of Logic Locking Mechanisms using Pseudo-Boolean Optimization Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDECS ![In: 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2023, Tallinn, Estonia, May 3-5, 2023, pp. 105-110, 2023, IEEE, 979-8-3503-3277-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Markus Iser, Jeremias Berg, Matti Järvisalo |
Oracle-Based Local Search for Pseudo-Boolean Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023), pp. 1124-1131, 2023, IOS Press, 978-1-64368-436-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOGA ![In: Proceedings of the 17th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, FOGA 2023, Potsdam, Germany, 30 August 2023 - 1 September 2023, pp. 152-162, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 12:1-12:18, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 41:1-41:18, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 27:1-27:19, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China, pp. 6853-6857, 2023, ijcai.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Stephan Gocht, Ruben Martins, Jakob Nordström, Andy Oertel |
Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China, pp. 6436-6441, 2023, ijcai.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 302, pp. 103604, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Stephan Gocht, Jakob Nordström |
Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.12185, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Richik Sengupta, Jacob D. Biamonte |
On Symmetric Pseudo-Boolean Functions: Factorization, Kernels and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.15009, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Michal Karpinski, Marek Piotrów |
Reusing Comparator Networks in Pseudo-Boolean Encodings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.04129, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Martin Mariusz Lester |
Pseudo-Boolean optimisation for RobinX sports timetabling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sched. ![In: J. Sched. 25(3), pp. 287-299, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Christophe Labreuche |
Explanation of Pseudo-Boolean Functions Using Cooperative Game Theory and Prime Implicants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SUM ![In: Scalable Uncertainty Management - 15th International Conference, SUM 2022, Paris, France, October 17-19, 2022, Proceedings, pp. 295-308, 2022, Springer, 978-3-031-18842-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Daimy Van Caudenberg, Bart Bogaerts 0001 |
Symmetry and Dominance Breaking for Pseudo-Boolean Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BNAIC/BENELEARN ![In: Artificial Intelligence and Machine Learning - 34th Joint Benelux Conference, BNAIC/Benelearn 2022, Mechelen, Belgium, November 7-9, 2022, Revised Selected Papers, pp. 149-166, 2022, Springer, 978-3-031-39143-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel., pp. 13:1-13:18, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-242-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Stephan Gocht, Ruben Martins, Jakob Nordström, Andy Oertel |
Certified CNF Translations for Pseudo-Boolean Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel., pp. 16:1-16:25, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-242-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: GECCO '22: Genetic and Evolutionary Computation Conference, Boston, Massachusetts, USA, July 9 - 13, 2022, pp. 296-304, 2022, ACM, 978-1-4503-9237-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Randal E. Bryant, Armin Biere, Marijn J. H. Heule |
Clausal Proofs for Pseudo-Boolean Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (1) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I, pp. 443-461, 2022, Springer, 978-3-030-99523-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Michal Karpinski, Marek Piotrów |
Reusing Comparator Networks in Pseudo-Boolean Encodings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 34th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2022, Macao, China, October 31 - November 2, 2022, pp. 760-765, 2022, IEEE, 979-8-3503-9744-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker |
Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel., pp. 38:1-38:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-240-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Meriem Mahar, Hacène Belbachir, Abdellah Mokrane |
Side-Channel Analysis and pseudo-Boolean functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDS ![In: Ninth International Conference on Software Defined Systems, SDS 2022, Paris, France, December 12-15, 2022, pp. 1-2, 2022, IEEE, 979-8-3503-4671-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAIM ![In: Proceedings of the International Symposium on Artificial Intelligence and Mathematics 2022 (ISAIM 2022), Fort Lauderdale, Florida, USA, January 3-5, 2022, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAIM ![In: Proceedings of the International Symposium on Artificial Intelligence and Mathematics 2022 (ISAIM 2022), Fort Lauderdale, Florida, USA, January 3-5, 2022, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
16 | Endre Boros, Joonhee Lee |
Boole's probability bounding problem, linear programming aggregations, and nonnegative quadratic pseudo-Boolean functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAIM ![In: Proceedings of the International Symposium on Artificial Intelligence and Mathematics 2022 (ISAIM 2022), Fort Lauderdale, Florida, USA, January 3-5, 2022, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|