default search action
Information Processing Letters, Volume 186
Volume 186, 2024
- Liyu Zhang, Mahmoud Quweider, Fitra Khan, Hansheng Lei:
Splitting NP-complete sets infinitely. 106472 - Wei Wu, Liang Tang, Andrea Pizzuti:
Robust scheduling for minimizing maximum lateness on a serial-batch processing machine. 106473 - Dimitar P. Guelev, Ben C. Moszkowski:
Expressive completeness by separation for discrete time interval temporal logic with expanding modalities. 106480 - Mihir Vahanwala:
Skolem and positivity completeness of ergodic Markov chains. 106481 - Mark Sellke:
On size-independent sample complexity of ReLU networks. 106482 - Robert Scheffler:
Recognizing LBFS trees of bipartite graphs. 106483 - Haibo Hong, Shi Bai, Fenghao Liu:
The group factorization problem in finite groups of Lie type. 106484 - V. P. Abidha, Pradeesha Ashok:
Red Blue Set Cover problem on axis-parallel hyperplanes and other objects. 106485 - Jérémi Do Dinh, Alexandros Hollender:
Tight inapproximability of Nash equilibria in public goods games. 106486 - Adam Polak, Maksym Zub:
Learning-augmented maximum flow. 106487 - Besik Dundua, Ioane Kapanadze, Helmut Seidl:
Prenex universal first-order safety properties. 106488 - Sam Buss, Emre Yolcu:
Regular resolution effectively simulates resolution. 106489 - Bhisham Dev Verma, Rameshwar Pratap, Punit Pankaj Dubey:
Sparsifying Count Sketch. 106490 - Ashwin Jacob, Michal Wlodarczyk, Meirav Zehavi:
Long directed detours: Reduction to 2-Disjoint Paths. 106491 - Hao Wu, Qizhe Yang, Huan Long:
Branching bisimulation semantics for quantum processes. 106492 - Dekel Tsur:
Smaller kernels for two vertex deletion problems. 106493 - Feifei Yan, Pinhui Ke, Zuling Chang:
The autocorrelation of a class of quaternary sequences of length pq with high complexity. 106494 - Taekang Eom, Hee-Kap Ahn:
A linear-time algorithm for the center problem in weighted cycle graphs. 106495 - Yu-Lun Wu, Hung-Lung Wang:
Correcting matrix products over the ring of integers. 106496
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.