| 3201 |
Regular resolution for CNFs with almost bounded one-sided treewidth
Andrea Cali, Igor Razgon
|
🔮
The Ethereal
|
cs.CC
|
0 |
7 years ago |
| 3202 |
On Modelling the Avoidability of Patterns as CSP
Thorsten Ehlers, Florin Manea, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
0 |
7 years ago |
| 3203 |
Complexity of Dependencies in Bounded Domains, Armstrong Codes, and Generalizations
Yeow Meng Chee, Hui Zhang, Xiande Zhang
|
🔮
The Ethereal
|
math.CO
|
0 |
7 years ago |
| 3204 |
Transformation of XML Documents with Prolog
René Haberland, Igor L. Bratchikov
|
🔮
The Ethereal
|
cs.LO
|
0 |
7 years ago |
| 3205 |
Unification of Template-Expansion and XML-Validation
René Haberland
|
🔮
The Ethereal
|
cs.LO
|
0 |
7 years ago |
| 3206 |
Fine-grained complexity of the graph homomorphism problem for bounded-treewidth graphs
Karolina Okrasa, Paweł Rzążewski
|
🔮
The Ethereal
|
cs.CC
|
0 |
7 years ago |
| 3207 |
On Asymmetric Unification for the Theory of XOR with a Homomorphism
Christopher Lynch, Andrew M. Marshall, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
0 |
7 years ago |
| 3208 |
A Formal Axiomatization of Computation
Rasoul Ramezanian
|
🔮
The Ethereal
|
cs.CC
|
0 |
7 years ago |
| 3209 |
On a Generalization of the Marriage Problem
Jonathan Lenchner
|
🔮
The Ethereal
|
math.CO
|
0 |
7 years ago |
| 3210 |
Abstract categorial grammars with island constraints and effective decidability
Sergey Slavnov
|
🔮
The Ethereal
|
math.LO
|
0 |
7 years ago |
| 3211 |
Subtour Elimination Constraints Imply a Matrix-Tree Theorem SDP Constraint for the TSP
Samuel C. Gutekunst, David P. Williamson
|
🔮
The Ethereal
|
cs.DM
|
0 |
7 years ago |
| 3212 |
Some optimal entanglement-assisted quantum codes constructed from quaternary Hermitian linear complementary dual codes
Masaaki Harada
|
🔮
The Ethereal
|
math.CO
|
0 |
6 years ago |
| 3213 |
Independent Double Roman Domination on Block Graphs
Decheng Wei, Changhong Lu
|
🔮
The Ethereal
|
math.CO
|
0 |
6 years ago |
| 3214 |
Typing Tensor Calculus in 2-Categories (I)
Fatimah Rita Ahmadi
|
🔮
The Ethereal
|
math.CT
|
0 |
6 years ago |
| 3215 |
A Constraint Model for the Tree Decomposition of a Graph
Benjamin Bumpus, Patrick Prosser, James Trimble
|
🔮
The Ethereal
|
cs.DM
|
0 |
6 years ago |
| 3216 |
Introduction to the 35th International Conference on Logic Programming Special Issue
Esra Erdem, Andrea Formisano, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
6 years ago |
| 3217 |
On Occupancy Moments and Bloom Filter Efficiency
Jonathan Burns
|
🔮
The Ethereal
|
math.CO
|
0 |
6 years ago |
| 3218 |
Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics
Jorge A. Pérez, Jurriaan Rot
|
🔮
The Ethereal
|
cs.LO
|
0 |
6 years ago |
| 3219 |
Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution
Davide Ancona, Gordon Pace
|
🔮
The Ethereal
|
cs.LO
|
0 |
6 years ago |
| 3220 |
Technical report of "The Knowledge Base Paradigm Applied to Delegation Revocation"
Marcos Cramer, Zohreh Baniasadi, Pieter Van Hertum
|
🔮
The Ethereal
|
cs.LO
|
0 |
6 years ago |
| 3221 |
Ordered Sets for Data Analysis
Sergei O. Kuznetsov
|
🔮
The Ethereal
|
cs.LO
|
0 |
6 years ago |
| 3222 |
Conditions for Unnecessary Logical Constraints in Kernel Machines
Francesco Giannini, Marco Maggini
|
🔮
The Ethereal
|
cs.LO
|
0 |
6 years ago |
| 3223 |
An Effective Upperbound on Treewidth Using Partial Fill-in of Separators
Boi Faltings, Martin Charles Golumbic
|
🔮
The Ethereal
|
cs.DM
|
0 |
6 years ago |
| 3224 |
Proceedings 35th International Conference on Logic Programming (Technical Communications)
Bart Bogaerts, Esra Erdem, ... (+8 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
6 years ago |
| 3225 |
Lower Bound for (Sum) Coloring Problem
Alexandre Gondran, Vincent Duchamp, Laurent Moalic
|
🔮
The Ethereal
|
cs.DM
|
0 |
6 years ago |
| 3226 |
Strong Equivalence for LPMLN Programs
Joohyung Lee, Man Luo
|
🔮
The Ethereal
|
cs.LO
|
0 |
6 years ago |
| 3227 |
Chaitin's Omega and an Algorithmic Phase Transition
Christof Schmidhuber
|
🔮
The Ethereal
|
cs.CC
|
0 |
6 years ago |
| 3228 |
Query Preserving Watermarking Schemes for Locally Treelike Databases
Agnishom Chattopadhyay, M. Praveen
|
🔮
The Ethereal
|
cs.LO
|
0 |
6 years ago |
| 3229 |
A Short Remark on Analogical Reasoning
Karl Schlechta
|
🔮
The Ethereal
|
cs.LO
|
0 |
6 years ago |
| 3230 |
Perfect Multi Deletion Codes Achieve the Asymptotic Optimality of Code Size
Takehiko Mori, Manabu Hagiwara
|
🔮
The Ethereal
|
math.CO
|
0 |
6 years ago |
| 3231 |
Abstract Transducers
Andreas Stahlbauer
|
🔮
The Ethereal
|
cs.FL
|
0 |
6 years ago |
| 3232 |
Programming and Symbolic Computation in Maude
Francisco Durán, Steven Eker, ... (+5 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
6 years ago |
| 3233 |
A King in every two consecutive tournaments
Yehuda Afek, Eli Gafni, Nati Linial
|
🔮
The Ethereal
|
math.CO
|
0 |
6 years ago |
| 3234 |
Overview of Logical Foundations of Cyber-Physical Systems
André Platzer
|
🔮
The Ethereal
|
cs.LO
|
0 |
6 years ago |
| 3235 |
Belief revision and 3-valued logics: Characterization of 19,683 belief change operators
Nerio Borges, Ramón Pino Pérez
|
🔮
The Ethereal
|
cs.LO
|
0 |
6 years ago |
| 3236 |
Compiling Arguments in an Argumentation Framework into Three-valued Logical Expressions
Sosuke Moriguchi, Kazuko Takahashi
|
🔮
The Ethereal
|
cs.LO
|
0 |
6 years ago |
| 3237 |
Decision Procedures for Guarded Logics
Kevin Kappelmann
|
🔮
The Ethereal
|
cs.LO
|
0 |
6 years ago |
| 3238 |
A generic imperative language for polynomial time
Daniel Leivant
|
🔮
The Ethereal
|
cs.LO
|
0 |
6 years ago |
| 3239 |
The k-Power Domination Number in Some Self-Similar Graphs
Yulun Xu, Qi Bao, Zhongzhi Zhang
|
🔮
The Ethereal
|
math.CO
|
0 |
6 years ago |
| 3240 |
On the separation of shape and temporal patterns in time series -Application to signature authentication-
Pierre-François Marteau
|
🔮
The Ethereal
|
cs.DM
|
0 |
6 years ago |
| 3241 |
Oriented Diameter of Star Graphs
K. S. Ajish Kumar, Deepak Rajendraprasad, K. S. Sudeep
|
🔮
The Ethereal
|
cs.DM
|
0 |
6 years ago |
| 3242 |
Inapproximability of Additive Weak Contraction under SSEH and Strong UGC
Siddhartha Jain
|
🔮
The Ethereal
|
cs.CC
|
0 |
6 years ago |
| 3243 |
Construction of $s$-extremal optimal unimodular lattices in dimension 52
Masaaki Harada
|
🔮
The Ethereal
|
math.CO
|
0 |
6 years ago |
| 3244 |
Constructive derandomization of query algorithms
Guy Blanc, Jane Lange, Li-Yang Tan
|
🔮
The Ethereal
|
cs.CC
|
0 |
6 years ago |
| 3245 |
Infinite families of $2$-designs from a class of linear codes related to Dembowski-Ostrom functions
Rong Wang, Xiaoni Du, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
0 |
6 years ago |
| 3246 |
A Paraconsistent ASP-like Language with Tractable Model Generation
Andrzej Szalas
|
🔮
The Ethereal
|
cs.LO
|
0 |
6 years ago |
| 3247 |
Narrowing Down XML Template Expansion and Schema Validation
René Haberland
|
🔮
The Ethereal
|
cs.LO
|
0 |
6 years ago |
| 3248 |
Polynomial-Time Exact MAP Inference on Discrete Models with Global Dependencies
Alexander Bauer, Shinichi Nakajima
|
🔮
The Ethereal
|
cs.DM
|
0 |
6 years ago |
| 3249 |
Coarse-Grained Complexity for Dynamic Algorithms
Sayan Bhattacharya, Danupon Nanongkai, Thatchaphol Saranurak
|
🔮
The Ethereal
|
cs.CC
|
0 |
6 years ago |
| 3250 |
An Optimal Algorithm for 1-D Cutting Stock Problem
Srikrishnan Divakaran
|
🔮
The Ethereal
|
cs.DM
|
0 |
6 years ago |