| 501 |
Spatial Interpolants
Aws Albarghouthi, Josh Berdine, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
20 |
11 years ago |
| 502 |
Inapproximability of $H$-Transversal/Packing
Venkatesan Guruswami, Euiwoong Lee
|
🔮
The Ethereal
|
cs.CC
|
20 |
10 years ago |
| 503 |
Independent sets and cuts in large-girth regular graphs
Endre Csóka
|
🔮
The Ethereal
|
math.CO
|
20 |
10 years ago |
| 504 |
Retractable Contracts
Franco Barbanera, Mariangiola Dezani-Ciancaglini, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
20 |
10 years ago |
| 505 |
A Classical Realizability Model for a Semantical Value Restriction
Rodolphe Lepigre
|
🔮
The Ethereal
|
cs.LO
|
20 |
10 years ago |
| 506 |
Approximation Algorithm for Fault-Tolerant Virtual Backbone in Wireless Sensor Networks
Jiao Zhou, Zhao Zhang, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
20 |
10 years ago |
| 507 |
On the Complexity of Connection Games
Édouard Bonnet, Florian Jamain, Abdallah Saffidine
|
🔮
The Ethereal
|
cs.CC
|
20 |
9 years ago |
| 508 |
Understanding the complexity of #SAT using knowledge compilation
Florent Capelli
|
🔮
The Ethereal
|
cs.CC
|
20 |
9 years ago |
| 509 |
[1, 2]-sets and [1, 2]-total Sets in Trees with Algorithms
Amir Kafshdar Goharshady, Mohammad Reza Hooshmandasl, Mohsen Alambardar Meybodi
|
🔮
The Ethereal
|
math.CO
|
20 |
8 years ago |
| 510 |
A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency
Ian J. Hayes, Larissa A. Meinicke, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
20 |
8 years ago |
| 511 |
Spectral Methods for Immunization of Large Networks
Muhammad Ahmad, Juvaria Tariq, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
20 |
8 years ago |
| 512 |
Discovering the hidden community structure of public transportation networks
Laszlo Hajdu, Andras Bota, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
20 |
8 years ago |
| 513 |
Quadratic and symmetric bilinear forms over finite fields and their association schemes
Kai-Uwe Schmidt
|
🔮
The Ethereal
|
math.CO
|
20 |
8 years ago |
| 514 |
An explicit two-source extractor with min-entropy rate near 4/9
Mark Lewko
|
🔮
The Ethereal
|
math.CO
|
20 |
8 years ago |
| 515 |
Towards a formal notion of impact metric for cyber-physical attacks (full version)
Ruggero Lanotte, Massimo Merro, Simone Tini
|
🔮
The Ethereal
|
cs.LO
|
20 |
7 years ago |
| 516 |
SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer
Mikhail R. Gadelha, Enrico Steffinlongo, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
20 |
7 years ago |
| 517 |
Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata
Milan Češka, Vojtěch Havlena, ... (+7 more)
|
🔮
The Ethereal
|
cs.FL
|
20 |
7 years ago |
| 518 |
Medians in median graphs and their cube complexes in linear time
Laurine Bénéteau, Jérémie Chalopin, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
20 |
6 years ago |
| 519 |
Compositional Non-Interference for Fine-Grained Concurrent Programs
Dan Frumin, Robbert Krebbers, Lars Birkedal
|
🔮
The Ethereal
|
cs.LO
|
20 |
6 years ago |
| 520 |
Pseudo-deterministic Streaming
Shafi Goldwasser, Ofer Grossman, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
20 |
6 years ago |
| 521 |
On $Δ$-Modular Integer Linear Problems In The Canonical Form And Equivalent Problems
D. V. Gribanov, I. A. Shumilov, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
20 |
6 years ago |
| 522 |
Weighted Additive Spanners
Reyan Ahmed, Greg Bodwin, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
20 |
6 years ago |
| 523 |
Feedback Edge Sets in Temporal Graphs
Roman Haag, Hendrik Molter, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
20 |
6 years ago |
| 524 |
Full complexity classification of the list homomorphism problem for bounded-treewidth graphs
Karolina Okrasa, Marta Piecyk, Paweł Rzążewski
|
🔮
The Ethereal
|
cs.CC
|
20 |
5 years ago |
| 525 |
Logical Separability of Labeled Data Examples under Ontologies
Jean Christoph Jung, Carsten Lutz, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
20 |
5 years ago |
| 526 |
Efficient List-Decoding with Constant Alphabet and List Sizes
Zeyu Guo, Noga Ron-Zewi
|
🔮
The Ethereal
|
cs.CC
|
20 |
5 years ago |
| 527 |
A survey on the parameterized complexity of the independent set and (connected) dominating set reconfiguration problems
Nicolas Bousquet, Amer E. Mouawad, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
20 |
4 years ago |
| 528 |
Constructing Near Spanning Trees with Few Local Inspections
Reut Levi, Guy Moshkovitz, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
19 |
11 years ago |
| 529 |
Zero-free regions of partition functions with applications to algorithms and graph limits
Guus Regts
|
🔮
The Ethereal
|
math.CO
|
19 |
10 years ago |
| 530 |
Tangles and the Mona Lisa
Reinhard Diestel, Geoff Whittle
|
🔮
The Ethereal
|
math.CO
|
19 |
10 years ago |
| 531 |
Directed Containers as Categories
Danel Ahman, Tarmo Uustalu
|
🔮
The Ethereal
|
cs.LO
|
19 |
10 years ago |
| 532 |
Weight recursions for any rotation symmetric Boolean functions
Thomas W. Cusick
|
🔮
The Ethereal
|
math.CO
|
19 |
9 years ago |
| 533 |
Does robustness imply tractability? A lower bound for planted clique in the semi-random model
Jacob Steinhardt
|
🔮
The Ethereal
|
cs.CC
|
19 |
9 years ago |
| 534 |
Lower Bound On the Computational Complexity of Discounted Markov Decision Problems
Yichen Chen, Mengdi Wang
|
🔮
The Ethereal
|
cs.CC
|
19 |
8 years ago |
| 535 |
Lower Bounds for Tolerant Junta and Unateness Testing via Rejection Sampling of Graphs
Amit Levi, Erik Waingarten
|
🔮
The Ethereal
|
cs.CC
|
19 |
7 years ago |
| 536 |
Everybody's Got To Be Somewhere
Conor McBride
|
🔮
The Ethereal
|
cs.LO
|
19 |
7 years ago |
| 537 |
Reasoning in Bayesian Opinion Exchange Networks Is PSPACE-Hard
Jan Hązła, Ali Jadbabaie, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
19 |
7 years ago |
| 538 |
A Type Theory for Defining Logics and Proofs
Brigitte Pientka, David Thibodeau, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
19 |
6 years ago |
| 539 |
The Demand Query Model for Bipartite Matching
Noam Nisan
|
🔮
The Ethereal
|
cs.CC
|
19 |
6 years ago |
| 540 |
Verifying that a compiler preserves concurrent value-dependent information-flow security
Robert Sison, Toby Murray
|
🔮
The Ethereal
|
cs.LO
|
19 |
6 years ago |
| 541 |
Crumbling Abstract Machines
Beniamino Accattoli, Andrea Condoluci, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
19 |
6 years ago |
| 542 |
Directed Homotopy in Non-Positively Curved Spaces
Eric Goubault, Samuel Mimram
|
🔮
The Ethereal
|
cs.LO
|
19 |
6 years ago |
| 543 |
Aggregate Queries on Sparse Databases
Szymon Toruńczyk
|
🔮
The Ethereal
|
cs.LO
|
19 |
6 years ago |
| 544 |
Probabilistic Hyperproperties with Nondeterminism
Erika Abraham, Ezio Bartocci, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
19 |
5 years ago |
| 545 |
Enhancing SAT solvers with glue variable predictions
Jesse Michael Han
|
🔮
The Ethereal
|
cs.LO
|
19 |
5 years ago |
| 546 |
Equitable Scheduling on a Single Machine
Klaus Heeger, Danny Hermelin, ... (+4 more)
|
🔮
The Ethereal
|
cs.DM
|
19 |
5 years ago |
| 547 |
On cutting blocking sets and their codes
Daniele Bartoli, Antonio Cossidente, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
19 |
5 years ago |
| 548 |
Linearly ordered colourings of hypergraphs
Tamio-Vesa Nakajima, Stanislav Živný
|
🔮
The Ethereal
|
cs.CC
|
19 |
4 years ago |
| 549 |
Asynchronous Probabilistic Couplings in Higher-Order Separation Logic
Simon Oddershede Gregersen, Alejandro Aguirre, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
19 |
3 years ago |
| 550 |
Geometric Barriers for Stable and Online Algorithms for Discrepancy Minimization
David Gamarnik, Eren C. Kızıldağ, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
19 |
3 years ago |