| 3351 |
Proceedings of the Sixth Working Formal Methods Symposium
Vlad Rusu
|
🔮
The Ethereal
|
cs.LO
|
0 |
3 years ago |
| 3352 |
Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise
Igor Khmelnitsky, Serge Haddad, ... (+6 more)
|
🔮
The Ethereal
|
cs.FL
|
0 |
3 years ago |
| 3353 |
Characterizing the Decidability of Finite State Automata Team Games with Communication
Michael Coulombe, Jayson Lynch
|
🔮
The Ethereal
|
cs.CC
|
0 |
3 years ago |
| 3354 |
Answer-Set Programs for Repair Updates and Counterfactual Interventions
Leopoldo Bertossi
|
🔮
The Ethereal
|
cs.LO
|
0 |
3 years ago |
| 3355 |
On the Cryptomorphism between Davis' Subset Lattices, Atomic Lattices, and Closure Systems under T1 Separation Axiom
Dmitry I. Ignatov
|
🔮
The Ethereal
|
cs.DM
|
0 |
3 years ago |
| 3356 |
Abductive forgetting
Paolo Liberatore
|
🔮
The Ethereal
|
cs.LO
|
0 |
3 years ago |
| 3357 |
Static Knowledge vs. Dynamic Argumentation: A Dual Theory Based on Kripke Semantics
Xinyu Wang, Momoka Fujieda
|
🔮
The Ethereal
|
cs.LO
|
0 |
3 years ago |
| 3358 |
Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE)
Matt Luckcuck, Marie Farrell
|
🔮
The Ethereal
|
cs.LO
|
0 |
3 years ago |
| 3359 |
Highly unbreakable graph with a fixed excluded minor are almost rigid
Daniel Lokshtanov, Marcin Pilipczuk, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
0 |
3 years ago |
| 3360 |
Reconfiguration of colorings in triangulations of the sphere
Takehiro Ito, Yuni Iwamasa, ... (+5 more)
|
🔮
The Ethereal
|
math.CO
|
0 |
3 years ago |
| 3361 |
Certification with an NP Oracle
Guy Blanc, Caleb Koch, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
0 |
3 years ago |
| 3362 |
Computational Short Cuts in Infinite Domain Constraint Satisfaction
Peter Jonsson, Victor Lagerkvist, Sebastian Ordyniak
|
🔮
The Ethereal
|
cs.CC
|
0 |
3 years ago |
| 3363 |
OptiRica: Towards an Efficient Optimizing Horn Solver
Hossein Hojjat, Philipp Rümmer
|
🔮
The Ethereal
|
cs.LO
|
0 |
3 years ago |
| 3364 |
Multiple Query Satisfiability of Constrained Horn Clauses
Emanuele De Angelis, Fabio Fioravanti, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
3 years ago |
| 3365 |
Internal Closedness and von Neumann-Morgenstern Stability in Matching Theory: Structures and Complexity
Yuri Faenza, Clifford Stein, Jia Wan
|
🔮
The Ethereal
|
math.CO
|
0 |
3 years ago |
| 3366 |
Graph Convolutional Neural Networks as Parametric CoKleisli morphisms
Bruno Gavranović, Mattia Villani
|
🔮
The Ethereal
|
math.CT
|
0 |
3 years ago |
| 3367 |
P(Expression|Grammar): Probability of deriving an algebraic expression with a probabilistic context-free grammar
Urh Primožič, Ljupčo Todorovski, Matej Petković
|
🔮
The Ethereal
|
cs.FL
|
0 |
3 years ago |
| 3368 |
Why the equivalence problem for unambiguous grammars has not been solved back in 1966?
Vladislav Makarov
|
🔮
The Ethereal
|
cs.FL
|
0 |
3 years ago |
| 3369 |
Cocke--Younger--Kasami--Schwartz--Zippel algorithm and relatives
Vladislav Makarov
|
🔮
The Ethereal
|
cs.FL
|
0 |
3 years ago |
| 3370 |
Proceedings of the Thirteenth International Workshop on Graph Computation Models
Reiko Heckel, Christopher M. Poskitt
|
🔮
The Ethereal
|
cs.LO
|
0 |
3 years ago |
| 3371 |
Sum Labelling Graphs of Maximum Degree Two
Henning Fernau, Kshitij Gajjar
|
🔮
The Ethereal
|
math.CO
|
0 |
3 years ago |
| 3372 |
Exceeding Computational Complexity Trial-and-Error Dynamic Action and Intelligence
Chuyu Xiong
|
🔮
The Ethereal
|
cs.CC
|
0 |
3 years ago |
| 3373 |
Redundancy of Codes with Graph Constraints
Ghurumuruhan Ganesan
|
🔮
The Ethereal
|
math.CO
|
0 |
3 years ago |
| 3374 |
On a conjecture of Knuth about forward and back arcs
Zipei Nie
|
🔮
The Ethereal
|
math.CO
|
0 |
3 years ago |
| 3375 |
On lattice tilings of $\mathbb{Z}^{n}$ by limited magnitude error balls $\mathcal{B}(n,2,1,1)$
Tao Zhang, Yanlu Lian, Gennian Ge
|
🔮
The Ethereal
|
math.CO
|
0 |
3 years ago |
| 3376 |
The umbilical cord of finite model theory
Yuri Gurevich
|
🔮
The Ethereal
|
cs.LO
|
0 |
3 years ago |
| 3377 |
Treewidth is NP-Complete on Cubic Graphs (and related results)
Hans L. Bodlaender, Édouard Bonnet, ... (+7 more)
|
🔮
The Ethereal
|
cs.CC
|
0 |
3 years ago |
| 3378 |
Stack-Aware Hyperproperties
Ali Bajwa, Minjian Zhang, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
3 years ago |
| 3379 |
A Formal Algebraic Framework for DSL Composition
Zachary Flores, Angelo Taranto, Eric Bond
|
🔮
The Ethereal
|
math.CT
|
0 |
3 years ago |
| 3380 |
$t$-sails and sparse hereditary classes of unbounded tree-width
Daniel Cocks
|
🔮
The Ethereal
|
math.CO
|
0 |
3 years ago |
| 3381 |
Computation with Large Advice
Hiroki Morizumi
|
🔮
The Ethereal
|
cs.CC
|
0 |
3 years ago |
| 3382 |
A Logic for Veracity
Steve Reeves
|
🔮
The Ethereal
|
cs.LO
|
0 |
3 years ago |
| 3383 |
SAT Requires Exhaustive Search
Ke Xu, Guangyan Zhou
|
🔮
The Ethereal
|
cs.CC
|
0 |
3 years ago |
| 3384 |
A modest proposal: explicit support for foundational pluralism
Martin Berger, Dominic P. Mulligan
|
🔮
The Ethereal
|
cs.LO
|
0 |
3 years ago |
| 3385 |
A Deforestation of Reducts: Refocusing
Olivier Danvy
|
🔮
The Ethereal
|
cs.LO
|
0 |
3 years ago |
| 3386 |
Approximability of the Four-Vertex Model
Zhiguo Fu, Tianyu Liu, Xiongxin Yang
|
🔮
The Ethereal
|
cs.CC
|
0 |
3 years ago |
| 3387 |
Posets are easily testable
Panna Tímea Fekete, Gábor Kun
|
🔮
The Ethereal
|
math.CO
|
0 |
3 years ago |
| 3388 |
On the non-existence of perfect codes in the Niederreiter-Rosenbloom-Tsfasman metric
Viviana Gubitosi, Aldo Portela, Claudio Qureshi
|
🔮
The Ethereal
|
math.CO
|
0 |
3 years ago |
| 3389 |
Simultaneous Drawing of Layered Trees
Julia Katheder, Stephen G. Kobourov, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
0 |
3 years ago |
| 3390 |
Constraint Optimization over Semirings
A. Pavan, Kuldeep S. Meel, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
3 years ago |
| 3391 |
An Educational Tool for Exploring the Pumping Lemma Property for Regular Languages
Josue N. Rivera, Haiping Xu
|
🔮
The Ethereal
|
cs.FL
|
0 |
3 years ago |
| 3392 |
Friedman's "Long Finite Sequences'': The End of the Busy Beaver Contest
Michael Vielhaber, Mónica del Pilar Canales Chacón, Sergio Jara Ceballos
|
🔮
The Ethereal
|
math.CO
|
0 |
3 years ago |
| 3393 |
Complete Log Concavity of Coverage-Like Functions
Dorna Abdolazimi, Shayan Oveis Gharan
|
🔮
The Ethereal
|
math.CO
|
0 |
3 years ago |
| 3394 |
A Formalization of Operads in Coq
Zachary Flores, Angelo Taranto, ... (+2 more)
|
🔮
The Ethereal
|
math.CT
|
0 |
3 years ago |
| 3395 |
Kreisel's counter-example to full abstraction of the set-theoretical model of Goedel's system T
Martin Escardo
|
🔮
The Ethereal
|
math.LO
|
0 |
3 years ago |
| 3396 |
Can Few Lines of Code Change Society ? Beyond fack-checking and moderation : how recommender systems toxifies social networking sites
David Chavalarias, Paul Bouchaud, Maziyar Panahi
|
🔮
The Ethereal
|
cs.DM
|
0 |
3 years ago |
| 3397 |
Sum-of-Squares Lower Bounds for Densest $k$-Subgraph
Chris Jones, Aaron Potechin, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
0 |
3 years ago |
| 3398 |
Algorithms for Construction, Classification and Enumeration of Closed Knight's Paths
Stoyan Kapralov, Valentin Bakoev, Kaloyan Kapralov
|
🔮
The Ethereal
|
math.CO
|
0 |
3 years ago |
| 3399 |
$L_{\infty}$ norm minimization for nowhere-zero integer eigenvectors of the block graphs of Steiner triple systems and Johnson graphs
E. A. Bespalov, I. Yu. Mogilnykh, K. V. Vorob'ev
|
🔮
The Ethereal
|
math.CO
|
0 |
3 years ago |
| 3400 |
Temporalizing digraphs via linear-size balanced bi-trees
Stéphane Bessy, Stéphan Thomassé, Laurent Viennot
|
🔮
The Ethereal
|
math.CO
|
0 |
3 years ago |