×

Found 1,635 Documents (Results 1–100)

Partition crossover can linearize local optima lattices of k-bounded pseudo-Boolean functions. (English) Zbl 07809173

Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 152-162 (2023).
MSC:  68T20 68W50 90C59
PDFBibTeX XMLCite
Full Text: DOI

First complexity results for evolutionary knowledge transfer. (English) Zbl 07809172

Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 140-151 (2023).
MSC:  68T20 68W50 90C59
PDFBibTeX XMLCite
Full Text: DOI

Neural networks as black-box benchmark functions optimized for exploratory landscape features. (English) Zbl 07809171

Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 129-139 (2023).
MSC:  68T20 68W50 90C59
PDFBibTeX XMLCite
Full Text: DOI

Convergence properties of the \((\mu/\mu_i,\lambda)\)-ES on the Rastrigin function. (English) Zbl 07809170

Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 117-128 (2023).
MSC:  68T20 68W50 90C59
PDFBibTeX XMLCite
Full Text: DOI

Self-adaptation can improve the noise-tolerance of evolutionary algorithms. (English) Zbl 07809169

Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 105-116 (2023).
MSC:  68T20 68W50 90C59
PDFBibTeX XMLCite
Full Text: DOI

Fixed-parameter tractability of the (1 + 1) evolutionary algorithm on random planted vertex covers. (English) Zbl 07809168

Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 96-104 (2023).
MSC:  68T20 68W50 90C59
PDFBibTeX XMLCite
Full Text: DOI

General Boolean function benchmark suite. (English) Zbl 07809167

Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 84-95 (2023).
MSC:  68T20 68W50 90C59
PDFBibTeX XMLCite
Full Text: DOI

Runtime analysis of a co-evolutionary algorithm. Overcoming negative drift in maximin-optimisation. (English) Zbl 07809166

Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 73-83 (2023).
MSC:  68T20 68W50 90C59
PDFBibTeX XMLCite
Full Text: DOI

First steps towards a runtime analysis of neuroevolution. (English) Zbl 07809165

Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 61-72 (2023).
MSC:  68T20 68W50 90C59
PDFBibTeX XMLCite
Full Text: DOI arXiv

Weighted mutation of connections to mitigate search space limitations in Cartesian genetic programming. (English) Zbl 07809164

Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 50-60 (2023).
MSC:  68T20 68W50 90C59
PDFBibTeX XMLCite
Full Text: DOI

Using automated algorithm configuration for parameter control. (English) Zbl 07809163

Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 38-49 (2023).
MSC:  68T20 68W50 90C59
PDFBibTeX XMLCite
Full Text: DOI arXiv

Finding antimagic labelings of trees by evolutionary search. (English) Zbl 07809162

Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 27-37 (2023).
MSC:  68T20 68W50 90C59
PDFBibTeX XMLCite
Full Text: DOI

Curing ill-conditionality via representation-agnostic distance-driven perturbations. (English) Zbl 07809161

Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 15-26 (2023).
MSC:  68T20 68W50 90C59
PDFBibTeX XMLCite
Full Text: DOI

Rigorous runtime analysis of diversity optimization with GSEMO on OneMinMax. (English) Zbl 07809160

Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 3-14 (2023).
MSC:  68T20 68W50 90C59
PDFBibTeX XMLCite
Full Text: DOI arXiv

Bridging theory and practice in evolutionary computation? (English) Zbl 07809159

Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 2 (2023).
MSC:  68T20 68W50 90C59
PDFBibTeX XMLCite
Full Text: DOI

Analyzing the Fourier representation of permutation-based combinatorial optimization problems. (English) Zbl 07809158

Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 1 (2023).
MSC:  68T20 68W50 90C59
PDFBibTeX XMLCite
Full Text: DOI

Quantum search-to-decision reduction for the LWE problem. (English) Zbl 07798843

El Mrabet, Nadia (ed.) et al., Progress in cryptology – AFRICACRYPT 2023. 14th international conference on cryptology in Africa, Sousse, Tunisia, July 19–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14064, 395-413 (2023).
PDFBibTeX XMLCite
Full Text: DOI

Decision/objective space trajectory networks for multi-objective combinatorial optimisation. (English) Zbl 07787623

Pérez Cáceres, Leslie (ed.) et al., Evolutionary computation in combinatorial optimization. 23rd European conference, EvoCOP 2023, held as part of EvoStar 2023, Brno, Czech Republic, April 12–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13987, 211-226 (2023).
MSC:  68W50 90C27 90C59
PDFBibTeX XMLCite
Full Text: DOI

Multi-objectivization relaxes multi-funnel structures in single-objective NK-landscapes. (English) Zbl 07787622

Pérez Cáceres, Leslie (ed.) et al., Evolutionary computation in combinatorial optimization. 23rd European conference, EvoCOP 2023, held as part of EvoStar 2023, Brno, Czech Republic, April 12–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13987, 195-210 (2023).
MSC:  68W50 90C27 90C59
PDFBibTeX XMLCite
Full Text: DOI

A policy-based learning beam search for combinatorial optimization. (English) Zbl 07787618

Pérez Cáceres, Leslie (ed.) et al., Evolutionary computation in combinatorial optimization. 23rd European conference, EvoCOP 2023, held as part of EvoStar 2023, Brno, Czech Republic, April 12–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13987, 130-145 (2023).
MSC:  68W50 90C27 90C59
PDFBibTeX XMLCite
Full Text: DOI

Monte Carlo tree search with adaptive simulation: a case study on weighted vertex coloring. (English) Zbl 07787616

Pérez Cáceres, Leslie (ed.) et al., Evolutionary computation in combinatorial optimization. 23rd European conference, EvoCOP 2023, held as part of EvoStar 2023, Brno, Czech Republic, April 12–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13987, 98-113 (2023).
MSC:  68W50 90C27 90C59
PDFBibTeX XMLCite
Full Text: DOI

Real-world vehicle routing using adaptive large neighborhood search. (English) Zbl 07787612

Pérez Cáceres, Leslie (ed.) et al., Evolutionary computation in combinatorial optimization. 23rd European conference, EvoCOP 2023, held as part of EvoStar 2023, Brno, Czech Republic, April 12–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13987, 34-49 (2023).
MSC:  68W50 90C27 90C59
PDFBibTeX XMLCite
Full Text: DOI

Fairer comparisons for travelling salesman problem solutions using hash functions. (English) Zbl 07787610

Pérez Cáceres, Leslie (ed.) et al., Evolutionary computation in combinatorial optimization. 23rd European conference, EvoCOP 2023, held as part of EvoStar 2023, Brno, Czech Republic, April 12–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13987, 1-15 (2023).
MSC:  68W50 90C27 90C59
PDFBibTeX XMLCite
Full Text: DOI

Finding many collisions via reusable quantum walks. Application to lattice sieving. (English) Zbl 07774568

Hazay, Carmit (ed.) et al., Advances in cryptology – EUROCRYPT 2023. 42nd annual international conference on the theory and applications of cryptographic techniques, Lyon, France, April 23–27, 2023. Proceedings. Part V. Cham: Springer. Lect. Notes Comput. Sci. 14008, 221-251 (2023).
MSC:  81Pxx 94A60
PDFBibTeX XMLCite
Full Text: DOI arXiv

Energy efficient sorting, selection and searching. (English) Zbl 07770291

Lin, Chun-Cheng (ed.) et al., WALCOM: algorithms and computation. 17th international conference and workshops, WALCOM 2023, Hsinchu, Taiwan, March 22–24, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13973, 179-190 (2023).
MSC:  68Wxx
PDFBibTeX XMLCite
Full Text: DOI

ZDD-based algorithmic framework for solving shortest reconfiguration problems. (English) Zbl 07745660

Cire, Andre A. (ed.), Integration of constraint programming, artificial intelligence, and operations research. 20th international conference, CPAIOR 2023, Nice, France, May 29 – June 1, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13884, 167-183 (2023).
MSC:  68T20 90Bxx 90C27
PDFBibTeX XMLCite
Full Text: DOI arXiv

An updated database of \(\mathbb{Z}_4\) codes and an open problem about quasi-cyclic codes. (English) Zbl 1522.94121

El Hajji, Said (ed.) et al., Codes, cryptology and information security. 4th international conference, C2SI 2023, Rabat, Morocco, May 29–31, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13874, 395-406 (2023).
MSC:  94B15
PDFBibTeX XMLCite
Full Text: DOI

Exploring SAT for cryptanalysis: (quantum) collision attacks against 6-round SHA-3. (English) Zbl 07731558

Agrawal, Shweta (ed.) et al., Advances in cryptology – ASIACRYPT 2022. 28th international conference on the theory and application of cryptology and information security, Taipei, Taiwan, December 5–9, 2022. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 13793, 645-674 (2023).
PDFBibTeX XMLCite
Full Text: DOI

Word equations in synergy with regular constraints. (English) Zbl 07728854

Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 403-423 (2023).
MSC:  68W32 68Q45 68T20
PDFBibTeX XMLCite
Full Text: DOI arXiv

Improved quantum analysis of SPECK and LowMC. (English) Zbl 07726579

Isobe, Takanori (ed.) et al., Progress in cryptology – INDOCRYPT 2022. 23rd international conference on cryptology in India, Kolkata, India, December 11–14, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13774, 517-540 (2023).
PDFBibTeX XMLCite
Full Text: DOI

Hybrid ant colony optimization algorithms – behaviour investigation based on intuitionistic fuzzy logic. (English) Zbl 1522.90279

Fidanova, Stefka (ed.), Recent advances in computational optimization. Results of the workshop on computational optimization, WCO 2021. Cham: Springer. Stud. Comput. Intell. 1044, 39-60 (2022).
MSC:  90C70 90C27 90C59
PDFBibTeX XMLCite
Full Text: DOI

Dynamically self-adjusting Gaussian processes for data stream modelling. (English) Zbl 1522.68460

Bergmann, Ralph (ed.) et al., KI 2022: advances in artificial intelligence. 45th German conference on AI, Trier, Germany, September 19–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13404, 96-114 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Modal logic and the polynomial hierarchy: from QBFs to K and back. (English) Zbl 07668104

Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 329-348 (2022).
MSC:  03B45 68Q25
PDFBibTeX XMLCite

Randomized synthesis for diversity and cost constraints with control improvisation. (English) Zbl 1514.68134

Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13372, 526-546 (2022).
PDFBibTeX XMLCite
Full Text: DOI arXiv

A parallel algorithm for GAC filtering of the Alldifferent constraint. (English) Zbl 1502.68281

Schaus, Pierre (ed.), Integration of constraint programming, artificial intelligence, and operations research. 19th international conference, CPAIOR 2022, Los Angeles, CA, USA, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13292, 390-407 (2022).
PDFBibTeX XMLCite
Full Text: DOI

A beam search for the shortest common supersequence problem guided by an approximate expected length calculation. (English) Zbl 1499.68426

Pérez Cáceres, Leslie (ed.) et al., Evolutionary computation in combinatorial optimization. 22nd European conference, EvoCOP 2022, held as part of EvoStar 2022, Madrid, Spain, April 20–22, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13222, 127-142 (2022).
MSC:  68W32 68T20
PDFBibTeX XMLCite
Full Text: DOI

Search via parallel Lévy walks on \(\mathbb{Z}^2\). (English) Zbl 07824185

Korhonen, Janne H. (ed.), Proceedings of the 40th ACM symposium on principles of distributed computing, PODC ’21, virtual event, Italy, July 26–30, 2021. New York, NY: Association for Computing Machinery (ACM). 81-91 (2021).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI arXiv

PACE solver description: a simplified threshold accepting approach for the cluster editing problem. (English) Zbl 07803612

Golovach, Petr A. (ed.) et al., 16th international symposium on parameterized and exact computation, IPEC 2021, Lisbon, Portugal, September 8–10, 2021. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 214, Article 34, 2 p. (2021).
MSC:  68Q25 68Q27 68Wxx
PDFBibTeX XMLCite
Full Text: DOI

PACE solver description: \( \mu\) solver – heuristic track. (English) Zbl 07803611

Golovach, Petr A. (ed.) et al., 16th international symposium on parameterized and exact computation, IPEC 2021, Lisbon, Portugal, September 8–10, 2021. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 214, Article 33, 3 p. (2021).
MSC:  68Q25 68Q27 68Wxx
PDFBibTeX XMLCite
Full Text: DOI

PACE solver description: KaPoCE: a heuristic cluster editing algorithm. (English) Zbl 07803609

Golovach, Petr A. (ed.) et al., 16th international symposium on parameterized and exact computation, IPEC 2021, Lisbon, Portugal, September 8–10, 2021. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 214, Article 31, 4 p. (2021).
MSC:  68Q25 68Q27 68Wxx
PDFBibTeX XMLCite
Full Text: DOI

Group evacuation on a line by agents with different communication abilities. (English) Zbl 07788630

Ahn, Hee-Kap (ed.) et al., 32nd international symposium on algorithms and computation, ISAAC 2021, Fukuoka, Japan, December 6–8, 2021. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 212, Article 57, 24 p. (2021).
MSC:  68Wxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

On geometric priority set cover problems. (English) Zbl 07788585

Ahn, Hee-Kap (ed.) et al., 32nd international symposium on algorithms and computation, ISAAC 2021, Fukuoka, Japan, December 6–8, 2021. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 212, Article 12, 14 p. (2021).
MSC:  68Wxx
PDFBibTeX XMLCite
Full Text: DOI

Brief announcement: non-blocking dynamic unbounded graphs with worst-case amortized bounds. (English) Zbl 07774303

Gilbert, Seth (ed.), 35th international symposium on distributed computing, DISC 2021, Freiburg, Germany (virtual conference) October 4–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 209, Article 52, 4 p. (2021).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI

On the structure of learnability beyond P/poly. (English) Zbl 07768391

Wootters, Mary (ed.) et al., Approximation, randomization, and combinatorial optimization. Algorithms and techniques. 24th international conference, APPROX 2021, and 25th international conference, RANDOM 2021, University of Washington, Seattle, Washington, US (virtual conference), August 16–18, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 207, Article 46, 23 p. (2021).
MSC:  68W20 68W25 90C27
PDFBibTeX XMLCite
Full Text: DOI

Evidence for long-tails in SLS algorithms. (English) Zbl 07740937

Mutzel, Petra (ed.) et al., 29th annual European symposium on algorithms. ESA 2021, Lisbon, Portugal (virtual conference), September 6–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 204, Article 82, 16 p. (2021).
MSC:  68Wxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Hypersuccinct trees – new universal tree source codes for optimal compressed tree data structures and range minima. (English) Zbl 07740925

Mutzel, Petra (ed.) et al., 29th annual European symposium on algorithms. ESA 2021, Lisbon, Portugal (virtual conference), September 6–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 204, Article 70, 18 p. (2021).
MSC:  68Wxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Bidirectional string anchors: a new string sampling mechanism. (English) Zbl 07740919

Mutzel, Petra (ed.) et al., 29th annual European symposium on algorithms. ESA 2021, Lisbon, Portugal (virtual conference), September 6–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 204, Article 64, 21 p. (2021).
MSC:  68Wxx
PDFBibTeX XMLCite
Full Text: DOI

Compression by contracting straight-line programs. (English) Zbl 07740900

Mutzel, Petra (ed.) et al., 29th annual European symposium on algorithms. ESA 2021, Lisbon, Portugal (virtual conference), September 6–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 204, Article 45, 16 p. (2021).
MSC:  68Wxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Bi-objective search with bi-directional \(A^*\). (English) Zbl 07740858

Mutzel, Petra (ed.) et al., 29th annual European symposium on algorithms. ESA 2021, Lisbon, Portugal (virtual conference), September 6–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 204, Article 3, 15 p. (2021).
MSC:  68Wxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Depth-first search in directed planar graphs, revisited. (English) Zbl 07724180

Bonchi, Filippo (ed.) et al., 46th international symposium on mathematical foundations of computer science, MFCS 2021, August 23–27, 2021, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 202, Article 7, 22 p. (2021).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

On \(p\)-group isomorphism: search-to-decision, counting-to-decision, and nilpotency class reductions via tensors. (English) Zbl 07711598

Kabanets, Valentine (ed.), 36th computational complexity conference, CCC 2021, Toronto, Ontario, Canada, virtual conference, July 20–23, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 200, Article 16, 38 p. (2021).
MSC:  68Q25
PDFBibTeX XMLCite
Full Text: DOI

Computing kemeny rankings from \(d\)-Euclidean preferences. (English) Zbl 07670904

Fotakis, Dimitris (ed.) et al., Algorithmic decision theory. 7th international conference, ADT 2021, Toulouse, France, November 3–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13023, 147-161 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Unveiling the truth in liquid democracy with misinformed voters. (English) Zbl 07670903

Fotakis, Dimitris (ed.) et al., Algorithmic decision theory. 7th international conference, ADT 2021, Toulouse, France, November 3–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13023, 132-146 (2021).
PDFBibTeX XMLCite
Full Text: DOI

A game theoretical approach for VLSI physical design placement. (English) Zbl 1497.90230

Fidanova, Stefka (ed.), Recent advances in computational optimization. Results of the 12th international workshop on computational optimization (WCO), Leipzig, Germany, September 1–4, 2019. Cham: Springer. Stud. Comput. Intell. 920, 149-172 (2021).
PDFBibTeX XMLCite
Full Text: DOI

A multi-pass streaming algorithm for regularized submodular maximization. (English) Zbl 07550563

Du, Ding-Zhu (ed.) et al., Combinatorial optimization and applications. 15th international conference, COCOA 2021, Tianjin, China, December 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13135, 701-711 (2021).
MSC:  68T20 90C27
PDFBibTeX XMLCite
Full Text: DOI

Delay-constrained minimum shortest path trees and related problems. (English) Zbl 07550561

Du, Ding-Zhu (ed.) et al., Combinatorial optimization and applications. 15th international conference, COCOA 2021, Tianjin, China, December 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13135, 676-686 (2021).
MSC:  68T20 90C27
PDFBibTeX XMLCite
Full Text: DOI

On the \(k\)-colored rainbow sets in fixed dimensions. (English) Zbl 07550554

Du, Ding-Zhu (ed.) et al., Combinatorial optimization and applications. 15th international conference, COCOA 2021, Tianjin, China, December 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13135, 587-601 (2021).
MSC:  68T20 90C27
PDFBibTeX XMLCite
Full Text: DOI

Streaming submodular maximization under differential privacy noise. (English) Zbl 07550542

Du, Ding-Zhu (ed.) et al., Combinatorial optimization and applications. 15th international conference, COCOA 2021, Tianjin, China, December 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13135, 431-444 (2021).
MSC:  68T20 90C27
PDFBibTeX XMLCite
Full Text: DOI

Approximation algorithm and hardness results for defensive domination in graphs. (English) Zbl 07550529

Du, Ding-Zhu (ed.) et al., Combinatorial optimization and applications. 15th international conference, COCOA 2021, Tianjin, China, December 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13135, 247-261 (2021).
MSC:  68T20 90C27
PDFBibTeX XMLCite
Full Text: DOI

G-Morph: induced subgraph isomorphism search of labeled graphs on a GPU. (English) Zbl 1512.68249

Sousa, Leonel (ed.) et al., Euro-Par 2021: parallel processing. 27th international conference on parallel and distributed computing, Lisbon, Portugal, September 1–3, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12820, 402-417 (2021).
MSC:  68R10 05C60 68W10
PDFBibTeX XMLCite
Full Text: DOI

On minimum generalized Manhattan connections. (English) Zbl 07498670

Lubiw, Anna (ed.) et al., Algorithms and data structures. 17th international symposium, WADS 2021, virtual event, August 9–11, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12808, 85-100 (2021).
MSC:  68P05 68Wxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

An SMT solver for regular expressions and linear arithmetic over string length. (English) Zbl 1493.68182

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 289-312 (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Bike assisted evacuation on a line. (English) Zbl 1490.68047

Bureš, Tomáš (ed.) et al., SOFSEM 2021: theory and practice of computer science. 47th international conference on current trends in theory and practice of computer science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25–29, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12607, 104-118 (2021).
MSC:  68M14 68T40 68W15
PDFBibTeX XMLCite
Full Text: DOI

Certified DQBF solving by definition extraction. (English) Zbl 07495594

Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 499-517 (2021).
MSC:  68Q25 68R07 68T20
PDFBibTeX XMLCite
Full Text: DOI arXiv

Leveraging GPUs for effective clause sharing in parallel SAT solving. (English) Zbl 07495592

Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 471-487 (2021).
MSC:  68Q25 68R07 68T20
PDFBibTeX XMLCite
Full Text: DOI

MedleySolver: online SMT algorithm selection. (English) Zbl 07495591

Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 453-470 (2021).
MSC:  68Q25 68R07 68T20
PDFBibTeX XMLCite
Full Text: DOI Link

A fast algorithm for SAT in terms of formula length. (English) Zbl 07495590

Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 436-452 (2021).
MSC:  68Q25 68R07 68T20
PDFBibTeX XMLCite
Full Text: DOI arXiv

XOR local search for Boolean Brent equations. (English) Zbl 07495589

Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 417-435 (2021).
MSC:  68Q25 68R07 68T20
PDFBibTeX XMLCite
Full Text: DOI

Proof complexity of symbolic QBF reasoning. (English) Zbl 07495588

Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 399-416 (2021).
MSC:  68Q25 68R07 68T20
PDFBibTeX XMLCite
Full Text: DOI arXiv

The MergeSat solver. (English) Zbl 07495587

Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 387-398 (2021).
MSC:  68Q25 68R07 68T20
PDFBibTeX XMLCite
Full Text: DOI

Smt-Switch: a solver-agnostic C++ API for SMT solving. (English) Zbl 07495586

Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 377-386 (2021).
MSC:  68Q25 68R07 68T20
PDFBibTeX XMLCite
Full Text: DOI arXiv

On the hierarchical community structure of practical Boolean formulas. (English) Zbl 07495585

Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 359-376 (2021).
MSC:  68Q25 68R07 68T20
PDFBibTeX XMLCite
Full Text: DOI arXiv

Efficient local search for pseudo Boolean optimization. (English) Zbl 07495583

Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 332-348 (2021).
MSC:  68Q25 68R07 68T20
PDFBibTeX XMLCite
Full Text: DOI

On dedicated CDCL strategies for PB solvers. (English) Zbl 07495582

Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 315-331 (2021).
MSC:  68Q25 68R07 68T20
PDFBibTeX XMLCite
Full Text: DOI arXiv

Projection heuristics for binary branchings between sum and product. (English) Zbl 07495581

Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 299-314 (2021).
MSC:  68Q25 68R07 68T20
PDFBibTeX XMLCite
Full Text: DOI

Assessing progress in SAT solvers through the Lens of incremental SAT. (English) Zbl 07495580

Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 280-298 (2021).
MSC:  68Q25 68R07 68T20
PDFBibTeX XMLCite
Full Text: DOI

Investigating the existence of Costas Latin squares via satisfiability testing. (English) Zbl 07495579

Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 270-279 (2021).
MSC:  68Q25 68R07 68T20
PDFBibTeX XMLCite
Full Text: DOI

SAT-based rigorous explanations for decision lists. (English) Zbl 07495578

Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 251-269 (2021).
MSC:  68Q25 68R07 68T20
PDFBibTeX XMLCite
Full Text: DOI arXiv

DiMo – discrete modelling using propositional logic. (English) Zbl 07495577

Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 242-250 (2021).
MSC:  68Q25 68R07 68T20
PDFBibTeX XMLCite
Full Text: DOI

Efficient SAT-based minimal model generation methods for modal logic S5. (English) Zbl 07495576

Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 225-241 (2021).
MSC:  68Q25 68R07 68T20
PDFBibTeX XMLCite
Full Text: DOI

MCP: capturing big data by satisfiability (tool description). (English) Zbl 07495574

Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 207-215 (2021).
MSC:  68Q25 68R07 68T20
PDFBibTeX XMLCite
Full Text: DOI HAL

Solving non-uniform planted and filtered random SAT formulas greedily. (English) Zbl 07495573

Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 188-206 (2021).
MSC:  68Q25 68R07 68T20
PDFBibTeX XMLCite
Full Text: DOI

Efficient all-UIP learned clause minimization. (English) Zbl 07495572

Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 171-187 (2021).
MSC:  68Q25 68R07 68T20
PDFBibTeX XMLCite
Full Text: DOI Link

ProCount: weighted projected model counting with graded project-join trees. (English) Zbl 07495571

Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 152-170 (2021).
MSC:  68Q25 68R07 68T20
PDFBibTeX XMLCite
Full Text: DOI

Weighted model counting without parameter variables. (English) Zbl 07495570

Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 134-151 (2021).
MSC:  68Q25 68R07 68T20
PDFBibTeX XMLCite
Full Text: DOI Link

Characterizing Tseitin-formulas with short regular resolution refutations. (English) Zbl 07495569

Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 116-133 (2021).
MSC:  68Q25 68R07 68T20
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software