


default search action
Theoretical Computer Science, Volume 1078
Volume 1078, 2026
- Luping Zhang

, Tingfang Wu:
Solving SAT by restricted spiking neural P systems with temporal division rules. 116009 - Philipp Czerner, Vincent Fischer

, Roland Guttenberg
:
The expressive power of population protocols with logarithmic space. 116010 - Benjamin Hackl

, Stephan G. Wagner:
A computer algebra package for bivariate asymptotics with effective error bounds. 116011 - Shashank Chauhan, Tanmay Inamdar, Lawqueen Kanesh, Sanjukta Roy:

Exact and parameterized algorithms for window width minimization in bipartite arrangement. 116012 - François Bonnet, Quentin Bramas

, Pierre Courtieu
, Xavier Défago, Lionel Rieg, Sébastien Tixeuil
, Xavier Urbain:
Deterministic color-optimal self-stabilizing semi-synchronous gathering: Two certified algorithms. 116013 - Junqiang Peng

, Mingyu Xiao
:
A fast algorithm for maximum satisfiability above half number of clauses. 116020

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














