Serge Burckel

Publication Activity (10 Years)

Years Active: 1994-2018
Publications (10 Years): 2

Top Topics

Propositional Satisfiability

Stochastic Local Search

Top Venues

Discret. Math. Theor. Comput. Sci.

J. Multiple Valued Log. Soft Comput.

Publications

Serge Burckel
Non-Interlaced SAT is in P. CoRR (2018)
Serge Burckel
Inductive Kernels of Graphs. J. Multiple Valued Log. Soft Comput. 27 (2-3) (2016)
Serge Burckel, Emeric Gioan, Emmanuel Thomé
Computation with No Memory, and Rearrangeable Multicast Networks. Discret. Math. Theor. Comput. Sci. 16 (1) (2014)
Serge Burckel, Emeric Gioan, Emmanuel Thomé
Computation with No Memory, and Rearrangeable Multicast Networks. CoRR (2013)
Serge Burckel, Emeric Gioan, Emmanuel Thomé
Mapping Computation with No Memory. UC (2009)
Serge Burckel, Emeric Gioan
In Situ Design of Register Operations. ISVLSI (2008)
Serge Burckel
The Parallel-Sequential Duality : Matrices and Graphs CoRR (2007)
Serge Burckel
Complexity of some Path Problems in DAGs and Linear Orders CoRR (2007)
Serge Burckel, Marianne Morillon
Sequential computation of linear Boolean mappings. Theor. Comput. Sci. 314 (1-2) (2004)
Serge Burckel, Marianne Morillon
Quadratic Sequential Computations of Boolean Mappings. Theory Comput. Syst. 37 (4) (2004)
Serge Burckel
Elementary decompositions of arbitrary maps over finite sets. J. Symb. Comput. 37 (3) (2004)
Serge Burckel
A result on braids via the investigation of a rewriting system. J. Symb. Comput. 35 (2) (2003)
Serge Burckel
Syntactical Methods for Braids of Three Strands. J. Symb. Comput. 31 (5) (2001)
Serge Burckel, Sébastien Hoarau, Frédéric Mesnard, Ulrich Neumerkel
cTI: Bottom-Up Termination Inference for Logic Programs. WLP (2000)
Serge Burckel, Marianne Morillon
Three generators for minimal writing-space computations. RAIRO Theor. Informatics Appl. 34 (2) (2000)
Serge Burckel
Computation of the Ordinal of Braids. Order 16 (3) (1999)
Serge Burckel
Closed Iterative Calculus. Theor. Comput. Sci. 158 (1&2) (1996)
Serge Burckel
Functional Equations Associated with Congruential Functions. Theor. Comput. Sci. 123 (2) (1994)