Improving Unsatisfiability-Based Algorithms for Boolean Optimization

Theory and Applications of Satisfiability Testing – SAT 2010 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-14186-7_16 ◽

2010 ◽

pp. 181-193 ◽

Author(s):

Vasco Manquinho ◽

Ruben Martins ◽

Inês Lynce

Keyword(s):

Boolean Optimization

Download Full-text

Minimum crosstalk layer assignment in a three layer HVH channel routing based on linear pseudo Boolean optimization

ICM 2000. Proceedings of the 12th International Conference on Microelectronics. (IEEE Cat. No.00EX453) ◽

10.1109/icm.2000.916407 ◽

2002 ◽

Author(s):

Kyoung Jhang

Keyword(s):

Channel Routing ◽

Layer Assignment ◽

Boolean Optimization

Download Full-text

Pseudo-Boolean optimization

Discrete Applied Mathematics ◽

10.1016/s0166-218x(01)00341-9 ◽

2002 ◽

Vol 123 (1-3) ◽

pp. 155-225 ◽

Author(s):

Endre Boros ◽

Peter L. Hammer

Keyword(s):

Boolean Optimization

Download Full-text

Algorithms for Weighted Boolean Optimization

Lecture Notes in Computer Science - Theory and Applications of Satisfiability Testing - SAT 2009 ◽

10.1007/978-3-642-02777-2_45 ◽

2009 ◽

pp. 495-508 ◽

Author(s):

Vasco Manquinho ◽

Joao Marques-Silva ◽

Jordi Planes

Keyword(s):

Boolean Optimization

Download Full-text

Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes Using Pseudo-Boolean Optimization

Comparative Genomics - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04744-2_12 ◽

2009 ◽

pp. 138-149

Author(s):

João Delgado ◽

Inês Lynce ◽

Vasco Manquinho

Keyword(s):

Duplicate Genes ◽

Boolean Optimization

Download Full-text

Sampling Methods Applied to Dense Instances of Non-Boolean Optimization Problems

Randomization and Approximation Techniques in Computer Science - Lecture Notes in Computer Science ◽

10.1007/3-540-49543-6_28 ◽

1998 ◽

pp. 357-368 ◽

Author(s):

Gunnar Andersson ◽

Lars Engebretsen

Keyword(s):

Sampling Methods ◽

Optimization Problems ◽

Boolean Optimization

Download Full-text

A semantic relatedness preserved subset extraction method for language corpora based on pseudo-Boolean optimization

Theoretical Computer Science ◽

10.1016/j.tcs.2020.07.020 ◽

2020 ◽

Vol 836 ◽

pp. 65-75

Author(s):

Luobing Dong ◽

Qiumin Guo ◽

Weili Wu ◽

Meghana N. Satpute

Keyword(s):

Extraction Method ◽

Semantic Relatedness ◽

Boolean Optimization

Download Full-text

ATPG for Reversible Circuits Using Simulation, Boolean Satisfiability, and Pseudo Boolean Optimization

2011 IEEE Computer Society Annual Symposium on VLSI ◽

10.1109/isvlsi.2011.77 ◽

2011 ◽

Author(s):

Robert Wille ◽

Hongyan Zhang ◽

Rolf Drechsler

Keyword(s):

Boolean Satisfiability ◽

Reversible Circuits ◽

Boolean Optimization

Download Full-text

Superpixels via pseudo-Boolean optimization

2011 International Conference on Computer Vision ◽

10.1109/iccv.2011.6126393 ◽

2011 ◽

Author(s):

Yuhang Zhang ◽

Richard Hartley ◽

John Mashford ◽

Stewart Burn

Keyword(s):

Boolean Optimization

Download Full-text

Modified Max-Min Ant Colony System for Solving Pseudo-Boolean Optimization Problem

2009 Second International Conference on Future Information Technology and Management Engineering ◽

10.1109/fitme.2009.38 ◽

2009 ◽

Author(s):

Liu Zhen ◽

Zhou Yu Ren

Keyword(s):

Optimization Problem ◽

Ant Colony System ◽

Boolean Optimization

Download Full-text

Adaptive memory search for Boolean optimization problems

Discrete Applied Mathematics ◽

10.1016/j.dam.2003.06.006 ◽

2004 ◽

Vol 142 (1-3) ◽

pp. 99-109 ◽

Author(s):

Lars M. Hvattum ◽

Arne Løkketangen ◽

Fred Glover

Keyword(s):

Optimization Problems ◽

Memory Search ◽

Adaptive Memory ◽

Boolean Optimization

Download Full-text