| 3301 |
Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics
Ornela Dardha, Jurriaan Rot
|
🔮
The Ethereal
|
cs.LO
|
0 |
5 years ago |
| 3302 |
Can determinism and compositionality coexist in RML?
Davide Ancona, Angelo Ferrando, Viviana Mascardi
|
🔮
The Ethereal
|
cs.LO
|
0 |
5 years ago |
| 3303 |
Proceedings 36th International Conference on Logic Programming (Technical Communications)
Francesco Ricca, Alessandra Russo, ... (+10 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
5 years ago |
| 3304 |
Symbolic Execution + Model Counting + Entropy Maximization = Automatic Search Synthesis
Mara Downing, Abtin Molavi, Lucas Bang
|
🔮
The Ethereal
|
cs.LO
|
0 |
5 years ago |
| 3305 |
Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications
Grant Passmore, Ruben Gamboa
|
🔮
The Ethereal
|
cs.LO
|
0 |
5 years ago |
| 3306 |
Digraph homomorphism problem and weak near unanimity polymorphism
Tomas Feder, Jeff Kinne, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
0 |
5 years ago |
| 3307 |
Complexity Analysis of Tree Share Structure
Xuan-Bach Le, Aquinas Hobor, Anthony W. Lin
|
🔮
The Ethereal
|
cs.LO
|
0 |
5 years ago |
| 3308 |
Group Testing for Efficiently Sampling Hypergraphs When Tests Have Variable Costs
Laurence A. Clarfeld, Margaret J. Eppstein
|
🔮
The Ethereal
|
cs.DM
|
0 |
5 years ago |
| 3309 |
Ghost Signals: Verifying Termination of Busy-Waiting (Extended Version)
Tobias Reinhard, Bart Jacobs
|
🔮
The Ethereal
|
cs.LO
|
0 |
5 years ago |
| 3310 |
Verification of Patterns
Yong Wang
|
🔮
The Ethereal
|
cs.LO
|
0 |
5 years ago |
| 3311 |
Three computational models and its equivalence
Ciro Ivan Garcia Lopez
|
🔮
The Ethereal
|
cs.LO
|
0 |
5 years ago |
| 3312 |
Approximability results for the $p$-centdian and the converse centdian problems
Yen Hung Chen
|
🔮
The Ethereal
|
math.CO
|
0 |
5 years ago |
| 3313 |
PCP Theorems, SETH and More: Towards Proving Sub-linear Time Inapproximability
Hengzhao Ma, Jianzhong Li
|
🔮
The Ethereal
|
cs.CC
|
0 |
5 years ago |
| 3314 |
Exact Phase Transitions of Model RB with Slower-Growing Domains
Jun Liu, Ke Xu, Guangyan Zhou
|
🔮
The Ethereal
|
math.CO
|
0 |
5 years ago |
| 3315 |
Some remarks on hypergraph matching and the Füredi-Kahn-Seymour conjecture
Nikhil Bansal, David G. Harris
|
🔮
The Ethereal
|
math.CO
|
0 |
5 years ago |
| 3316 |
Learning of Structurally Unambiguous Probabilistic Grammars
Dolav Nitay, Dana Fisman, Michal Ziv-Ukelson
|
🔮
The Ethereal
|
cs.FL
|
0 |
5 years ago |
| 3317 |
Safety Synthesis Sans Specification
Roderick Bloem, Hana Chockler, ... (+3 more)
|
🔮
The Ethereal
|
cs.FL
|
0 |
5 years ago |
| 3318 |
Discrete logarithm problem in some families of sandpile groups
Krisztián Dsupin, Szabolcs Tengely
|
🔮
The Ethereal
|
math.CO
|
0 |
5 years ago |
| 3319 |
Further Results on Pure Summing Registers and Complementary Ones
Jianrui Xie
|
🔮
The Ethereal
|
math.CO
|
0 |
5 years ago |
| 3320 |
Tight Bounds for Potential Maximal Cliques Parameterized by Vertex Cover
Tuukka Korhonen
|
🔮
The Ethereal
|
math.CO
|
0 |
5 years ago |
| 3321 |
Proceedings Second Workshop on Formal Methods for Autonomous Systems
Matt Luckcuck, Marie Farrell
|
🔮
The Ethereal
|
cs.LO
|
0 |
5 years ago |
| 3322 |
Describing the syntax of programming languages using conjunctive and Boolean grammars
Alexander Okhotin
|
🔮
The Ethereal
|
cs.FL
|
0 |
5 years ago |
| 3323 |
Recursive methods for some problems in coding and random permutations
Ghurumuruhan Ganesan
|
🔮
The Ethereal
|
math.CO
|
0 |
5 years ago |
| 3324 |
Incremental Verification of Fixed-Point Implementations of Neural Networks
Luiz Sena, Erickson Alves, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
5 years ago |
| 3325 |
A Generalized Information-Theoretic Approach for Bounding the Number of Independent Sets in Bipartite Graphs
Igal Sason
|
🔮
The Ethereal
|
math.CO
|
0 |
5 years ago |
| 3326 |
Graph Theory in the Classification of Information Systems
Daniel Zentai
|
🔮
The Ethereal
|
cs.DM
|
0 |
5 years ago |
| 3327 |
A constructive method to minimize couple matchings
Pierre Bertrand, Michel Broniatowski, Jean-François Marcotorchino
|
🔮
The Ethereal
|
cs.DM
|
0 |
5 years ago |
| 3328 |
Erdős-Selfridge Theorem for Nonmonotone CNFs
Md Lutfar Rahman, Thomas Watson
|
🔮
The Ethereal
|
cs.DM
|
0 |
4 years ago |
| 3329 |
The Ideal Membership Problem and Abelian Groups
Andrei A. Bulatov, Akbar Rafiey
|
🔮
The Ethereal
|
cs.CC
|
0 |
4 years ago |
| 3330 |
Leveraging the Power of Graph Algorithms: Efficient Algorithms for Computer-Aided Verification
Alexander Svozil
|
🔮
The Ethereal
|
cs.LO
|
0 |
4 years ago |
| 3331 |
A Note on the Hardness of Problems from Cryptographic Group Actions
Giuseppe D'Alconzo
|
🔮
The Ethereal
|
cs.CC
|
0 |
4 years ago |
| 3332 |
Local Hadwiger's Conjecture
Benjamin Moore, Luke Postle, Lise Turner
|
🔮
The Ethereal
|
math.CO
|
0 |
4 years ago |
| 3333 |
Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems
Clemens Dubslaff, Bas Luttik
|
🔮
The Ethereal
|
cs.LO
|
0 |
4 years ago |
| 3334 |
New Distinguishers for Negation-Limited Weak Pseudorandom Functions
Zhihuai Chen, Siyao Guo, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
0 |
4 years ago |
| 3335 |
On $d$-stable locally checkable problems parameterized by mim-width
Carolina Lucía Gonzalez, Felix Mann
|
🔮
The Ethereal
|
cs.DM
|
0 |
4 years ago |
| 3336 |
MaxSAT with Absolute Value Functions: A Parameterized Perspective
Max Bannach, Pamela Fleischmann, Malte Skambath
|
🔮
The Ethereal
|
cs.CC
|
0 |
4 years ago |
| 3337 |
Enumeration Classes Defined by Circuits
Nadia Creignou, Arnaud Durand, Heribert Vollmer
|
🔮
The Ethereal
|
cs.CC
|
0 |
4 years ago |
| 3338 |
Constrained Backward Time Travel Planning is in P
Quentin Bramas, Jean-Romain Luttringer, Sébastien Tixeuil
|
🔮
The Ethereal
|
cs.CC
|
0 |
4 years ago |
| 3339 |
DPER: Dynamic Programming for Exist-Random Stochastic SAT
Vu H. N. Phan, Moshe Y. Vardi
|
🔮
The Ethereal
|
cs.LO
|
0 |
4 years ago |
| 3340 |
The complexity of blocking (semi)total dominating sets with edge contractions
Esther Galby
|
🔮
The Ethereal
|
cs.DM
|
0 |
4 years ago |
| 3341 |
A Proof of the Tree of Shapes in n-D
Thierry GÉraud, Nicolas Boutry, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
0 |
4 years ago |
| 3342 |
A remark on Kashin's discrepancy argument and partial coloring in the Komlós conjecture
Afonso S. Bandeira, Antoine Maillard, Nikita Zhivotovskiy
|
🔮
The Ethereal
|
math.CO
|
0 |
4 years ago |
| 3343 |
Robust Factorizations and Colorings of Tensor Graphs
Joshua Brakensiek, Sami Davies
|
🔮
The Ethereal
|
cs.DM
|
0 |
4 years ago |
| 3344 |
Covariant-Contravariant Refinement Modal $μ$-calculus
Huili Xing
|
🔮
The Ethereal
|
cs.LO
|
0 |
3 years ago |
| 3345 |
Jumping Evaluation of Nested Regular Path Queries
Joachim Niehren, Sylvain Salvati, Rustam Azimov
|
🔮
The Ethereal
|
cs.CC
|
0 |
3 years ago |
| 3346 |
Criteria for toroidal embedding of one-vertex ribbon graphs
Tim Berezin
|
🔮
The Ethereal
|
math.CO
|
0 |
3 years ago |
| 3347 |
A Verified Implementation of B+-Trees in Isabelle/HOL
Niels Mündler, Tobias Nipkow
|
🔮
The Ethereal
|
cs.LO
|
0 |
3 years ago |
| 3348 |
On the arboreal jump number of a poset
Evellyn S. Cavalcante, Sebastián Urrutia, Vinicius F. dos Santos
|
🔮
The Ethereal
|
math.CO
|
0 |
3 years ago |
| 3349 |
Polynomial time multiplication and normal forms in free bands
R. Cirpons, J. D. Mitchell
|
🔮
The Ethereal
|
cs.FL
|
0 |
3 years ago |
| 3350 |
$b$-Coloring Parameterized by Pathwidth is XNLP-complete
Lars Jaffke, Paloma T. Lima, Roohani Sharma
|
🔮
The Ethereal
|
cs.CC
|
0 |
3 years ago |