| 2101 |
A logarithmic approximation of linearly ordered colourings
Johan Håstad, Björn Martinsson, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
3 |
2 years ago |
| 2102 |
Brooks-type colourings of digraphs in linear time
Daniel Gonçalves, Lucas Picasarri-Arrieta, Amadeus Reinald
|
🔮
The Ethereal
|
math.CO
|
3 |
2 years ago |
| 2103 |
Local search for valued constraint satisfaction parameterized by treedepth
Artem Kaznatcheev
|
🔮
The Ethereal
|
cs.DM
|
3 |
2 years ago |
| 2104 |
Practical Modelling with Bigraphs
Blair Archibald, Muffy Calder, Michele Sevegnani
|
🔮
The Ethereal
|
cs.LO
|
3 |
2 years ago |
| 2105 |
Superconstant Inapproximability of Decision Tree Learning
Caleb Koch, Carmen Strassle, Li-Yang Tan
|
🔮
The Ethereal
|
cs.CC
|
3 |
2 years ago |
| 2106 |
Optimal Mixing for Randomly Sampling Edge Colorings on Trees Down to the Max Degree
Charlie Carlson, Xiaoyu Chen, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
3 |
2 years ago |
| 2107 |
Finite-State Automaton To/From Regular Expression Visualization
Marco T. Morazán, Tijana Minić
|
🔮
The Ethereal
|
cs.FL
|
3 |
2 years ago |
| 2108 |
A Purely Entropic Approach to the Rainbow Triangle Problem
Ting-Wei Chao, Hung-Hsun Hans Yu
|
🔮
The Ethereal
|
math.CO
|
3 |
2 years ago |
| 2109 |
Extending the Limit Theorem of Barmpalias and Lewis-Pye to all reals
Ivan Titov
|
🔮
The Ethereal
|
math.LO
|
3 |
2 years ago |
| 2110 |
Deterministic approximate counting of colorings with fewer than $2Δ$ colors via absence of zeros
Ferenc Bencs, Khallil Berrekkal, Guus Regts
|
🔮
The Ethereal
|
math.CO
|
3 |
1 year ago |
| 2111 |
Syntax-Guided Automated Program Repair for Hyperproperties
Raven Beutner, Tzu-Han Hsu, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
3 |
1 year ago |
| 2112 |
Runtime Verification via Rational Monitor with Imperfect Information
Angelo Ferrando, Vadim Malvone
|
🔮
The Ethereal
|
cs.FL
|
3 |
1 year ago |
| 2113 |
The Sample Complexity of Smooth Boosting and the Tightness of the Hardcore Theorem
Guy Blanc, Alexandre Hayderi, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
3 |
1 year ago |
| 2114 |
Sharp estimates for Gowers norms on discrete cubes
Adrian Beker, Tonći Crmarić, Vjekoslav Kovač
|
🔮
The Ethereal
|
math.CO
|
3 |
1 year ago |
| 2115 |
NP-Completeness and Physical Zero-Knowledge Proofs for Zeiger
Suthee Ruangwises
|
🔮
The Ethereal
|
cs.CC
|
3 |
1 year ago |
| 2116 |
Rotation distance using flows
Claire Mathieu, William Thurston
|
🔮
The Ethereal
|
cs.DM
|
3 |
1 year ago |
| 2117 |
Better Boosting of Communication Oracles, or Not
Nathaniel Harms, Artur Riazanov
|
🔮
The Ethereal
|
cs.CC
|
3 |
1 year ago |
| 2118 |
Exact Exploration
Andreas Blass, Nachum Dershowitz, Yuri Gurevich
|
🔮
The Ethereal
|
cs.LO
|
3 |
1 year ago |
| 2119 |
New Fault Domains for Conformance Testing of Finite State Machines
Frits Vaandrager, Ivo Melse
|
🔮
The Ethereal
|
cs.FL
|
3 |
1 year ago |
| 2120 |
Proto-Quipper with Reversing and Control
Peng Fu, Kohei Kishida, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
3 |
1 year ago |
| 2121 |
Near-Optimal Averaging Samplers and Matrix Samplers
Zhiyang Xun, David Zuckerman
|
🔮
The Ethereal
|
cs.CC
|
3 |
1 year ago |
| 2122 |
An Expressive Trace Logic for Recursive Programs
Dilian Gurov, Reiner Hähnle
|
🔮
The Ethereal
|
cs.LO
|
3 |
1 year ago |
| 2123 |
Kleene algebra with commutativity conditions is undecidable
Arthur Azevedo de Amorim, Cheng Zhang, Marco Gaboardi
|
🔮
The Ethereal
|
math.LO
|
3 |
1 year ago |
| 2124 |
Integer and Unsplittable Multiflows in Series-Parallel Digraphs
Mohammed Majthoub Almoghrabi, Martin Skutella, Philipp Warode
|
🔮
The Ethereal
|
math.CO
|
3 |
1 year ago |
| 2125 |
Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
3 |
1 year ago |
| 2126 |
A Formal Correctness Proof of Edmonds' Blossom Shrinking Algorithm
Mohammad Abdulaziz, Kurt Mehlhorn
|
🔮
The Ethereal
|
cs.LO
|
3 |
1 year ago |
| 2127 |
Twin-width one
Jungho Ahn, Hugo Jacob, ... (+4 more)
|
🔮
The Ethereal
|
cs.DM
|
3 |
1 year ago |
| 2128 |
Mim-Width is paraNP-complete
Benjamin Bergougnoux, Édouard Bonnet, Julien Duron
|
🔮
The Ethereal
|
cs.CC
|
3 |
1 year ago |
| 2129 |
Complexity of the Virtual Network Embedding with uniform demands
Amal Benhamiche, Pierre Fouilhoux, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
3 |
1 year ago |
| 2130 |
An exposition of recent list-size bounds of FRS Codes
Abhibhav Garg, Prahladh Harsha, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
3 |
1 year ago |
| 2131 |
An unconditional lower bound for the active-set method on the hypercube
Yann Disser, Nils Mosis
|
🔮
The Ethereal
|
cs.DM
|
3 |
1 year ago |
| 2132 |
Improved bounds on the zeros of the chromatic polynomial of graphs and claw-free graphs
Ferenc Bencs, Guus Regts
|
🔮
The Ethereal
|
math.CO
|
3 |
1 year ago |
| 2133 |
Proof Assistants for Teaching: a Survey
Frédéric Tran Minh, Laure Gonnord, Julien Narboux
|
🔮
The Ethereal
|
cs.LO
|
3 |
1 year ago |
| 2134 |
Tree-independence number VI. Thetas and pyramids
Maria Chudnovsky, Julien Codsi
|
🔮
The Ethereal
|
math.CO
|
3 |
10 months ago |
| 2135 |
On Geometric Bipartite Graphs with Asymptotically Smallest Zarankiewicz Numbers
Parinya Chalermsook, Ly Orgo, Minoo Zarsav
|
🔮
The Ethereal
|
math.CO
|
3 |
9 months ago |
| 2136 |
SpecSatisfiabilityTool: A tool for testing the satisfiability of specifications on XML documents
Javier Albors, Marisa Navarro
|
🔮
The Ethereal
|
cs.LO
|
2 |
11 years ago |
| 2137 |
The Dead Cryptographers Society Problem
André Luiz Barbosa
|
🔮
The Ethereal
|
cs.CC
|
2 |
11 years ago |
| 2138 |
Simultaneous Time-Space Upper Bounds for Certain Problems in Planar Graphs
Diptarka Chakraborty, Raghunath Tewari
|
🔮
The Ethereal
|
cs.CC
|
2 |
11 years ago |
| 2139 |
Model Checking C Programs with Loops via k-Induction and Invariants
Herbert Rocha, Hussama Ismail, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
2 |
11 years ago |
| 2140 |
Preferential Attachment Processes Approaching The Rado Multigraph
Richard Elwes
|
🔮
The Ethereal
|
math.CO
|
2 |
11 years ago |
| 2141 |
Binary-Decision-Diagrams for Set Abstraction
Arlen Cox
|
🔮
The Ethereal
|
cs.LO
|
2 |
11 years ago |
| 2142 |
Proceedings Seventh Workshop on Intersection Types and Related Systems
Jakob Rehof
|
🔮
The Ethereal
|
cs.LO
|
2 |
11 years ago |
| 2143 |
Refining Existential Properties in Separation Logic Analyses
Matko Botinčan, Mike Dodds, Stephen Magill
|
🔮
The Ethereal
|
cs.LO
|
2 |
11 years ago |
| 2144 |
DistMS: A Non-Portfolio Distributed Solver for Maximum Satisfiability
Miguel Neves, Inês Lynce, Vasco Manquinho
|
🔮
The Ethereal
|
cs.LO
|
2 |
11 years ago |
| 2145 |
Eliminating Recursion from Monadic Datalog Programs on Trees
Filip Mazowiecki, Joanna Ochremiak, Adam Witkowski
|
🔮
The Ethereal
|
cs.LO
|
2 |
11 years ago |
| 2146 |
Rare Speed-up in Automatic Theorem Proving Reveals Tradeoff Between Computational Time and Information Value
Santiago Hernández-Orozco, Francisco Hernández-Quiroz, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
2 |
11 years ago |
| 2147 |
Semi-canonical binary matrices
Krasimir Yordzhev
|
🔮
The Ethereal
|
math.CO
|
2 |
11 years ago |
| 2148 |
Sorting using non-binary comparisons
Richard A. B. Johnson, Gabor Meszaros
|
🔮
The Ethereal
|
math.CO
|
2 |
11 years ago |
| 2149 |
The LTS WorkBench
Alceste Scalas, Massimo Bartoletti
|
🔮
The Ethereal
|
cs.LO
|
2 |
10 years ago |
| 2150 |
Dependency-Based Information Flow Analysis with Declassification in a Program Logic
Bart van Delft, Richard Bubel
|
🔮
The Ethereal
|
cs.LO
|
2 |
10 years ago |