×

Found 1,777 Documents (Results 1–100)

Equational theorem proving for clauses over strings. (English) Zbl 07810645

Nantes-Sobrinho, Daniele (ed.) et al., Proceedings of the 17th international workshop on logical and semantic frameworks with applications, LSFA, Belo Horizonte, Brazil, September 23–24, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 376, 49-66 (2023).
MSC:  03B70 68Q55
PDFBibTeX XMLCite
Full Text: DOI arXiv

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

Classification via two-way comparisons (extended abstract). (English) Zbl 07789710

Morin, Pat (ed.) et al., Algorithms and data structures. 18th international symposium, WADS 2023, Montreal, QC, Canada, July 31 – August 2, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14079, 275-290 (2023).
MSC:  68P05 68Wxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Approximating the smallest \(k\)-enclosing geodesic disc in a simple polygon. (English) Zbl 07789704

Morin, Pat (ed.) et al., Algorithms and data structures. 18th international symposium, WADS 2023, Montreal, QC, Canada, July 31 – August 2, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14079, 179-192 (2023).
MSC:  68P05 68Wxx
PDFBibTeX XMLCite
Full Text: DOI

Sorting and ranking of self-delimiting numbers with applications to tree isomorphism. (English) Zbl 07781749

Hsieh, Sun-Yuan (ed.) et al., Combinatorial algorithms. 34th international workshop, IWOCA 2023, Tainan, Taiwan, June 7–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13889, 356-367 (2023).
MSC:  68Rxx 68Wxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Parity permutation pattern matching. (English) Zbl 07770307

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, 384-395 (2023).
MSC:  68Wxx
PDFBibTeX XMLCite
Full Text: DOI

Efficient non-isomorphic graph enumeration algorithms for subclasses of perfect graphs. (English) Zbl 07770289

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, 151-163 (2023).
MSC:  68Wxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Piercing diametral disks induced by edges of maximum spanning trees. (English) Zbl 07770282

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, 71-77 (2023).
MSC:  68Wxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Away from each other. (English) Zbl 07770281

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, 61-70 (2023).
MSC:  68Wxx
PDFBibTeX XMLCite
Full Text: DOI

Algorithm for connectivity queries on real algebraic curves. (English) Zbl 07760779

Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 345-353 (2023).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Algorithms for \(k\)-dispersion for points in convex position in the plane. (English) Zbl 07728653

Bagchi, Amitabha (ed.) et al., Algorithms and discrete applied mathematics. 9th international conference, CALDAM 2023, Gandhinagar, India, February 9–11, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13947, 59-70 (2023).
MSC:  68Wxx
PDFBibTeX XMLCite
Full Text: DOI

Rectilinear planarity of partial 2-trees. (English) Zbl 07727759

Angelini, Patrizio (ed.) et al., Graph drawing and network visualization. 30th international symposium, GD 2022, Tokyo, Japan, September 13–16, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13764, 157-172 (2023).
MSC:  68R10 68U05
PDFBibTeX XMLCite
Full Text: DOI arXiv

A faster algorithm for determining the linear feasibility of systems of BTVPI constraints. (English) Zbl 1528.90158

Gąsieniec, Leszek (ed.), SOFSEM 2023: theory and practice of computer science. 48th international conference on current trends in theory and practice of computer science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15–18, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13878, 313-327 (2023).
MSC:  90C10 68W40
PDFBibTeX XMLCite
Full Text: DOI

On the parallel complexity of constrained read-once refutations in UTVPI constraint systems. (English) Zbl 07722849

Du, Ding-Zhu (ed.) et al., Theory and applications of models of computation. 17th annual conference, TAMC 2022, Tianjin, China, September 16–18, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13571, 293-304 (2023).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

k-inductive barrier certificates for stochastic systems. (English) Zbl 07807720

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 12, 11 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Reversible programming: a case study of two string-matching algorithms. (English) Zbl 07806139

Hamilton, Geoffrey W. (ed.) et al., Proceedings of the 9th workshop on Horn clauses for verification and synthesis and of the 10th international workshop on verification and program transformation, HCVS/VPT 2022, Munich, Germany, April 3, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 373, 1-13 (2022).
MSC:  68-XX 90-XX
PDFBibTeX XMLCite
Full Text: arXiv Link

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software