| 351 |
Understanding and Extending Incremental Determinization for 2QBF
Markus N. Rabe, Leander Tentrup, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
28 |
7 years ago |
| 352 |
Verifying Tight Logic Programs with anthem and Vampire
Jorge Fandinno, Vladimir Lifschitz, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
28 |
5 years ago |
| 353 |
New Techniques for Proving Fine-Grained Average-Case Hardness
Mina Dalirrooyfard, Andrea Lincoln, Virginia Vassilevska Williams
|
🔮
The Ethereal
|
cs.CC
|
28 |
5 years ago |
| 354 |
On Approximability of Clustering Problems Without Candidate Centers
Vincent Cohen-Addad, Karthik C. S., Euiwoong Lee
|
🔮
The Ethereal
|
cs.CC
|
28 |
5 years ago |
| 355 |
The Strongish Planted Clique Hypothesis and Its Consequences
Pasin Manurangsi, Aviad Rubinstein, Tselil Schramm
|
🔮
The Ethereal
|
cs.CC
|
28 |
5 years ago |
| 356 |
The Computational Limits of State-Space Models and Mamba via the Lens of Circuit Complexity
Yifang Chen, Xiaoyu Li, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
28 |
1 year ago |
| 357 |
Learning Regular Languages over Large Ordered Alphabets
Irini-Eleftheria Mens, Oded Maler
|
🔮
The Ethereal
|
cs.LO
|
27 |
11 years ago |
| 358 |
Polyhedral aspects of Submodularity, Convexity and Concavity
Rishabh Iyer, Jeff Bilmes
|
🔮
The Ethereal
|
cs.DM
|
27 |
11 years ago |
| 359 |
Type-based Self-stabilisation for Computational Fields
Ferruccio Damiani, Mirko Viroli
|
🔮
The Ethereal
|
cs.LO
|
27 |
10 years ago |
| 360 |
NTCCRT: A concurrent constraint framework for real-time interaction (extended version)
Mauricio Toro, Camilo Rueda, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
27 |
10 years ago |
| 361 |
Constructive noncommutative rank computation is in deterministic polynomial time
Gábor Ivanyos, Youming Qiao, K. V. Subrahmanyam
|
🔮
The Ethereal
|
cs.CC
|
27 |
10 years ago |
| 362 |
Modularity of regular and treelike graphs
Colin McDiarmid, Fiona Skerman
|
🔮
The Ethereal
|
math.CO
|
27 |
10 years ago |
| 363 |
Improved Hardness for Cut, Interdiction, and Firefighter Problems
Euiwoong Lee
|
🔮
The Ethereal
|
cs.CC
|
27 |
10 years ago |
| 364 |
lpopt: A Rule Optimization Tool for Answer Set Programming
Manuel Bichler, Michael Morak, Stefan Woltran
|
🔮
The Ethereal
|
cs.LO
|
27 |
9 years ago |
| 365 |
Faster Greedy MAP Inference for Determinantal Point Processes
Insu Han, Prabhanjan Kambadur, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
27 |
9 years ago |
| 366 |
Limits on representing Boolean functions by linear combinations of simple functions: thresholds, ReLUs, and low-degree polynomials
R. Ryan Williams
|
🔮
The Ethereal
|
cs.CC
|
27 |
8 years ago |
| 367 |
Sampling in Uniqueness from the Potts and Random-Cluster Models on Random Regular Graphs
Antonio Blanca, Andreas Galanis, ... (+4 more)
|
🔮
The Ethereal
|
cs.DM
|
27 |
8 years ago |
| 368 |
Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams
Bert Lindenhovius, Michael Mislove, Vladimir Zamdzhiev
|
🔮
The Ethereal
|
cs.LO
|
27 |
8 years ago |
| 369 |
Modularity of Erdős-Rényi random graphs
Colin McDiarmid, Fiona Skerman
|
🔮
The Ethereal
|
math.CO
|
27 |
7 years ago |
| 370 |
Hard to Solve Instances of the Euclidean Traveling Salesman Problem
Stefan Hougardy, Xianghui Zhong
|
🔮
The Ethereal
|
cs.DM
|
27 |
7 years ago |
| 371 |
Sparse Hypergraphs with Applications to Coding Theory
Chong Shangguan, Itzhak Tamo
|
🔮
The Ethereal
|
math.CO
|
27 |
7 years ago |
| 372 |
Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems
Meng Wu, Jingbo Wang, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
27 |
6 years ago |
| 373 |
UTxO- vs account-based smart contract blockchain programming paradigms
Lars Brunjes, Murdoch J. Gabbay
|
🔮
The Ethereal
|
cs.LO
|
27 |
6 years ago |
| 374 |
Learning sums of powers of low-degree polynomials in the non-degenerate case
Ankit Garg, Neeraj Kayal, Chandan Saha
|
🔮
The Ethereal
|
cs.CC
|
27 |
6 years ago |
| 375 |
Efficiently Testing Simon's Congruence
Pawel Gawrychowski, Maria Kosche, ... (+3 more)
|
🔮
The Ethereal
|
cs.FL
|
27 |
6 years ago |
| 376 |
Better $s$-$t$-Tours by Gao Trees
Corinna Gottschalk, Jens Vygen
|
🔮
The Ethereal
|
cs.DM
|
26 |
10 years ago |
| 377 |
Constructions and Bounds for Mixed-Dimension Subspace Codes
Thomas Honold, Michael Kiermaier, Sascha Kurz
|
🔮
The Ethereal
|
math.CO
|
26 |
10 years ago |
| 378 |
Internal Guidance for Satallax
Michael Färber, Chad Brown
|
🔮
The Ethereal
|
cs.LO
|
26 |
10 years ago |
| 379 |
Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments
Gerhard Brewka, Stefan Ellmauthaler, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
26 |
9 years ago |
| 380 |
BliStrTune: Hierarchical Invention of Theorem Proving Strategies
Jan Jakubuv, Josef Urban
|
🔮
The Ethereal
|
cs.LO
|
26 |
9 years ago |
| 381 |
Runtime enforcement of reactive systems using synchronous enforcers
Srinivas Pinisetty, Partha S Roop, ... (+3 more)
|
🔮
The Ethereal
|
cs.FL
|
26 |
9 years ago |
| 382 |
An efficient algorithm for finding all possible input nodes for controlling complex networks
Xizhe Zhang, Jianfei Han, Weixiong Zhang
|
🔮
The Ethereal
|
cs.DM
|
26 |
9 years ago |
| 383 |
A Weakest Pre-Expectation Semantics for Mixed-Sign Expectations
Benjamin Lucien Kaminski, Joost-Pieter Katoen
|
🔮
The Ethereal
|
cs.LO
|
26 |
9 years ago |
| 384 |
A $o(d) \cdot \text{polylog}~n$ Monotonicity Tester for Boolean Functions over the Hypergrid $[n]^d$
Hadley Black, Deeparnab Chakrabarty, C. Seshadhri
|
🔮
The Ethereal
|
cs.DM
|
26 |
8 years ago |
| 385 |
Generalizing inference systems by coaxioms
Francesco Dagnino
|
🔮
The Ethereal
|
cs.LO
|
26 |
8 years ago |
| 386 |
Streaming Hardness of Unique Games
Venkatesan Guruswami, Runzhou Tao
|
🔮
The Ethereal
|
cs.CC
|
26 |
7 years ago |
| 387 |
Automata Learning: An Algebraic Approach
Henning Urbat, Lutz Schröder
|
🔮
The Ethereal
|
cs.FL
|
26 |
6 years ago |
| 388 |
Learning Concise Models from Long Execution Traces
Natasha Yogananda Jeppu, Tom Melham, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
26 |
6 years ago |
| 389 |
A simple and sharper proof of the hypergraph Moore bound
Jun-Ting Hsieh, Pravesh K. Kothari, Sidhanth Mohanty
|
🔮
The Ethereal
|
math.CO
|
26 |
3 years ago |
| 390 |
An efficient tree decomposition method for permanents and mixed discriminants
Diego Cifuentes, Pablo A. Parrilo
|
🔮
The Ethereal
|
cs.DM
|
25 |
11 years ago |
| 391 |
Lower bounds for the parameterized complexity of Minimum Fill-in and other completion problems
Ivan Bliznets, Marek Cygan, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
25 |
10 years ago |
| 392 |
Undecidability of the Lambek calculus with a relevant modality
Max Kanovich, Stepan Kuznetsov, Andre Scedrov
|
🔮
The Ethereal
|
math.LO
|
25 |
10 years ago |
| 393 |
Liveness of Randomised Parameterised Systems under Arbitrary Schedulers (Technical Report)
Anthony W. Lin, Philipp Ruemmer
|
🔮
The Ethereal
|
cs.LO
|
25 |
10 years ago |
| 394 |
Optimizing tree decompositions in MSO
Mikołaj Bojańczyk, Michał Pilipczuk
|
🔮
The Ethereal
|
cs.LO
|
25 |
9 years ago |
| 395 |
Simply Exponential Approximation of the Permanent of Positive Semidefinite Matrices
Nima Anari, Leonid Gurvits, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
25 |
9 years ago |
| 396 |
Denotational semantics of recursive types in synthetic guarded domain theory
Rasmus E. Møgelberg, Marco Paviotti
|
🔮
The Ethereal
|
cs.LO
|
25 |
8 years ago |
| 397 |
Affine Sessions
Dimitris Mostrous, Vasco T. Vasconcelos
|
🔮
The Ethereal
|
cs.LO
|
25 |
7 years ago |
| 398 |
The Arboricity Captures the Complexity of Sampling Edges
Talya Eden, Dana Ron, Will Rosenbaum
|
🔮
The Ethereal
|
cs.CC
|
25 |
7 years ago |
| 399 |
Improved bounds for the excluded-minor approximation of treedepth
Wojciech Czerwiński, Wojciech Nadara, Marcin Pilipczuk
|
🔮
The Ethereal
|
cs.DM
|
25 |
7 years ago |
| 400 |
Kendall Tau Sequence Distance: Extending Kendall Tau from Ranks to Sequences
Vincent A. Cicirello
|
🔮
The Ethereal
|
cs.DM
|
25 |
7 years ago |