Improving Local Search for Pseudo Boolean Optimization by Fragile Scoring Function and Deep Optimization (Englisch)
Freier Zugriff
- Neue Suche nach: Zhou, Wenbo
- Weitere Informationen zu Zhou, Wenbo:
- https://orcid.org/0000-0002-1009-4544
- Neue Suche nach: Zhao, Yujiao
- Weitere Informationen zu Zhao, Yujiao:
- https://orcid.org/0000-0001-9285-2793
- Neue Suche nach: Wang, Yiyuan
- Weitere Informationen zu Wang, Yiyuan:
- https://orcid.org/0000-0002-3071-3461
- Neue Suche nach: Cai, Shaowei
- Weitere Informationen zu Cai, Shaowei:
- https://orcid.org/0000-0003-1730-6922
- Neue Suche nach: Wang, Shimao
- Neue Suche nach: Wang, Xinyu
- Neue Suche nach: Yin, Minghao
- Weitere Informationen zu Yin, Minghao:
- https://orcid.org/0000-0002-6226-2394
- Neue Suche nach: Zhou, Wenbo
- Weitere Informationen zu Zhou, Wenbo:
- https://orcid.org/0000-0002-1009-4544
- Neue Suche nach: Zhao, Yujiao
- Weitere Informationen zu Zhao, Yujiao:
- https://orcid.org/0000-0001-9285-2793
- Neue Suche nach: Wang, Yiyuan
- Weitere Informationen zu Wang, Yiyuan:
- https://orcid.org/0000-0002-3071-3461
- Neue Suche nach: Cai, Shaowei
- Weitere Informationen zu Cai, Shaowei:
- https://orcid.org/0000-0003-1730-6922
- Neue Suche nach: Wang, Shimao
- Neue Suche nach: Wang, Xinyu
- Neue Suche nach: Yin, Minghao
- Weitere Informationen zu Yin, Minghao:
- https://orcid.org/0000-0002-6226-2394
- Neue Suche nach: Yap, Roland H. C.
- Weitere Informationen zu Yap, Roland H. C.:
- https://orcid.org/0000-0002-1188-7474
In:
LIPIcs, Volume 280, CP 2023
: 29th International Conference on Principles and Practice of Constraint Programming (CP 2023)
;
280
;
41:1-41:18
;
2023
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Elektronische Ressource
-
Titel:Improving Local Search for Pseudo Boolean Optimization by Fragile Scoring Function and Deep Optimization
-
Beteiligte:Zhou, Wenbo ( Autor:in ) / Zhao, Yujiao ( Autor:in ) / Wang, Yiyuan ( Autor:in ) / Cai, Shaowei ( Autor:in ) / Wang, Shimao ( Autor:in ) / Wang, Xinyu ( Autor:in ) / Yin, Minghao ( Autor:in ) / Yap, Roland H. C. ( Herausgeber:in )
-
Erschienen in:LIPIcs, Volume 280, CP 2023 : 29th International Conference on Principles and Practice of Constraint Programming (CP 2023) ; 280 ; 41:1-41:18Leibniz International Proceedings in Informatics (LIPIcs) ; 280 ; 41:1-41:18
-
Verlag:
- Neue Suche nach: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Erscheinungsdatum:22.09.2023
-
Format / Umfang:18 pages , 1118052 byte
-
Anmerkungen:LIPIcs, Vol. 280, 29th International Conference on Principles and Practice of Constraint Programming (CP 2023), pages 41:1-41:18
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Lizenzbestimmungen:
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Beyond Optimal Solutions for Real-World Problems (Invited Talk)Garcia de la Banda, Maria et al. | 2023
- 2
-
A Tale of Two Cities: Teaching CP with Story-Telling (Invited Talk)Lee, Jimmy H.M. et al. | 2023
- 3
-
The CP-SAT-LP Solver (Invited Talk)Perron, Laurent / Didier, Frédéric / Gay, Steven et al. | 2023
- 4
-
Coupling CP with Deep Learning for Molecular Design and SARS-CoV2 Variants Exploration (Invited Talk)Schiex, Thomas et al. | 2023
- 5
-
CP Solver Design for Maximum CPU Utilization (Invited Talk)Vilím, Petr et al. | 2023
- 6
-
Optimization of Short-Term Underground Mine Planning Using Constraint ProgrammingAalian, Younes / Pesant, Gilles / Gamache, Michel et al. | 2023
- 7
-
Exploiting Configurations of MaxSAT SolversAlòs, Josep / Ansótegui, Carlos / Salvia, Josep M. / Torres, Eduard et al. | 2023
- 8
-
Symmetries for Cube-And-Conquer in Finite Model FindingAraújo, João / Chow, Choiwah / Janota, Mikoláš et al. | 2023
- 9
-
Guiding Backtrack Search by Tracking Variables During Constraint PropagationAudemard, Gilles / Lecoutre, Christophe / Prud'homme, Charles et al. | 2023
- 10
-
Incremental Constrained Clustering by Minimal Weighted ModificationBeauchamp, Aymeric / Dao, Thi-Bich-Hanh / Loudni, Samir / Vrain, Christel et al. | 2023
- 11
-
Simplifying Step-Wise Explanation SequencesBleukx, Ignace / Devriendt, Jo / Gamba, Emilio / Bogaerts, Bart / Guns, Tias et al. | 2023
- 12
-
Towards More Efficient Local Search for Pseudo-Boolean OptimizationChu, Yi / Cai, Shaowei / Luo, Chuan / Lei, Zhendong / Peng, Cong et al. | 2023
- 13
-
Boosting Decision Diagram-Based Branch-And-Bound by Pre-Solving with Aggregate Dynamic ProgrammingCoppé, Vianney / Gillard, Xavier / Schaus, Pierre et al. | 2023
- 14
-
Fast Matrix Multiplication Without Tears: A Constraint Programming ApproachDeza, Arnaud / Liu, Chang / Vaezipoor, Pashootan / Khalil, Elias B. et al. | 2023
- 15
-
Probabilistic Inference by Projected Weighted Model Counting on Horn ClausesDubray, Alexandre / Schaus, Pierre / Nijssen, Siegfried et al. | 2023
- 16
-
A CP Approach for the Liner Shipping Network Design ProblemEl Ghazi, Yousra / Habet, Djamal / Terrioux, Cyril et al. | 2023
- 17
-
Optimization Models for Pickup-And-Delivery Problems with Reconfigurable CapacitiesGolestanian, Arnoosh / Bianco, Giovanni Lo / Tao, Chengyu / Beck, J. Christopher et al. | 2023
- 18
-
Preprocessing in SAT-Based Multi-Objective Combinatorial OptimizationJabs, Christoph / Berg, Jeremias / Ihalainen, Hannes / Järvisalo, Matti et al. | 2023
- 19
-
An Efficient Constraint Programming Approach to Preemptive Job Shop SchedulingJuvin, Carla / Hebrard, Emmanuel / Houssin, Laurent / Lopez, Pierre et al. | 2023
- 20
-
Horizontally Elastic Edge Finder Rule for Cumulative Constraint Based on Slack and DensityKameugne, Roger / Betmbe, Sévérine Fetgo / Noulamo, Thierry / Djamegni, Clémentin Tayou et al. | 2023
- 21
-
Exploring Hydrogen Supply/Demand Networks: Modeller and Domain Expert ViewsKlapperstueck, Matthias / de Nijs, Frits / Senthooran, Ilankaikone / Lee-Kopij, Jack / Garcia de la Banda, Maria / Wybrow, Michael et al. | 2023
- 22
-
Binary Constraint Trees and Structured DecomposabilityKučera, Petr et al. | 2023
- 23
-
Large Neighborhood Beam Search for Domain-Independent Dynamic ProgrammingKuroiwa, Ryo / Beck, J. Christopher et al. | 2023
- 24
-
MDD Archive for Boosting the Pareto ConstraintMalalel, Steve / Malapert, Arnaud / Pelleau, Marie / Régin, Jean-Charles et al. | 2023
- 25
-
Learning a Generic Value-Selection Heuristic Inside a Constraint Programming SolverMarty, Tom / François, Tristan / Tessier, Pierre / Gautier, Louis / Rousseau, Louis-Martin / Cappart, Quentin et al. | 2023
- 26
-
Proof Logging for Smart Extensional ConstraintsMcIlree, Matthew J. / McCreesh, Ciaran et al. | 2023
- 27
-
Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean ReasoningMexi, Gioni / Berthold, Timo / Gleixner, Ambros / Nordström, Jakob et al. | 2023
- 28
-
Using Canonical Codes to Efficiently Solve the Benzenoid Generation Problem with Constraint ProgrammingPeng, Xiao / Solnon, Christine et al. | 2023
- 29
-
Distribution Optimization in Constraint ProgrammingPerez, Guillaume / Glorian, Gaël / Suijlen, Wijnand / Lallouet, Arnaud et al. | 2023
- 30
-
The p-Dispersion Problem with Distance ConstraintsPloskas, Nikolaos / Stergiou, Kostas / Tsouros, Dimosthenis C. et al. | 2023
- 31
-
Partially Preemptive Multi Skill/Mode Resource-Constrained Project Scheduling with Generalized Precedence Relations and CalendarsPovéda, Guillaume / Alvarez, Nahum / Artigues, Christian et al. | 2023
- 32
-
Assembly Line Preliminary Design Optimization for an AircraftRoussel, Stéphanie / Polacsek, Thomas / Chan, Anouck et al. | 2023
- 33
-
SAT-Based Learning of Compact Binary Decision Diagrams for ClassificationShati, Pouya / Cohen, Eldan / McIlraith, Sheila et al. | 2023
- 34
-
Constraint Programming with External Worst-Case Traversal Time AnalysisTalbot, Pierre / Hu, Tingting / Navet, Nicolas et al. | 2023
- 35
-
Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set ProgrammingTrinh, Van-Giang / Benhamou, Belaid / Soliman, Sylvain et al. | 2023
- 36
-
Guided Bottom-Up Interactive Constraint AcquisitionTsouros, Dimosthenis C. / Berden, Senne / Guns, Tias et al. | 2023
- 37
-
Addressing Problem Drift in UNHCR Fund AllocationWijesundara, Sameela Suharshani / Garcia de la Banda, Maria / Tack, Guido et al. | 2023
- 38
-
From Formal Boosted Tree Explanations to Interpretable Rule SetsYu, Jinqiang / Ignatiev, Alexey / Stuckey, Peter J. et al. | 2023
- 39
-
Searching for Smallest Universal Graphs and Tournaments with SATZhang, Tianwei / Szeider, Stefan et al. | 2023
- 40
-
FastMapSVM for Predicting CSP SatisfiabilityZheng, Kexin / Li, Ang / Zhang, Han / Kumar, T. K. Satish et al. | 2023
- 41
-
Improving Local Search for Pseudo Boolean Optimization by Fragile Scoring Function and Deep OptimizationZhou, Wenbo / Zhao, Yujiao / Wang, Yiyuan / Cai, Shaowei / Wang, Shimao / Wang, Xinyu / Yin, Minghao et al. | 2023
- 42
-
Predict-Then-Optimise Strategies for Water Flow Control (Short Paper)Barbosa Vaz, Vincent / Bailey, James / Leckie, Christopher / J. Stuckey, Peter et al. | 2023
- 43
-
Constraint Programming Models for Depth-Optimal Qubit Assignment and SWAP-Based Routing (Short Paper)Booth, Kyle E. C. et al. | 2023
- 44
-
Constraint Model for the Satellite Image Mosaic Selection Problem (Short Paper)Combarro Simón, Manuel / Talbot, Pierre / Danoy, Grégoire / Musial, Jedrzej / Alswaitti, Mohammed / Bouvry, Pascal et al. | 2023
- 45
-
Partitioning a Map into Homogeneous Contiguous Regions: A Branch-And-Bound Approach Using Decision Diagrams (Short Paper)Golenvaux, Nicolas / Gillard, Xavier / Nijssen, Siegfried / Schaus, Pierre et al. | 2023
- 46
-
Constraint Programming to Improve Hub Utilization in Autonomous Transfer Hub Networks (Short Paper)Lee, Chungjae / Boonbandansook, Wirattawut / Akhlaghi, Vahid Eghbal / Dalmeijer, Kevin / Van Hentenryck, Pascal et al. | 2023
- 47
-
A New Approach to Finding 2 x n Partially Spatially Balanced Latin Rectangles (Short Paper)Mirka, Renee / Greenstreet, Laura / Grimson, Marc / Gomes, Carla P. et al. | 2023
- 48
-
Proven Optimally-Balanced Latin Rectangles with SAT (Short Paper)Peruvemba Ramaswamy, Vaidyanathan / Szeider, Stefan et al. | 2023
- 49
-
Enumerative Level-2 Solution Counting for Quantified Boolean Formulas (Short Paper)Plank, Andreas / Möhle, Sibylle / Seidl, Martina et al. | 2023