Search Results - "Courcelle, B."

On using SAT solvers for graph computations.

Authors: Courcelle, B. Durand, I.

Source: Discrete Applied Mathematics. Feb2026, Vol. 380, p348-366. 19p.

Subjects: Directed graphs, Satisfiability (Computer science), Graph labelings, Graph algorithms, NP-complete problems

Linear Time Solvable Optimization Problems on Graphs of Bounded Clique-Width.

Authors: Courcelle, B. Makowsky, J. A. Rotics, U.

Source: Theory of Computing Systems. Mar/Apr2000, Vol. 33 Issue 2, p125. 26p.

Subjects: Decomposition method, Algorithms

Recognizability, hypergraph operations, and logical types

Authors: Blumensath, A. Courcelle, B.

Source: Information & Computation. Jun2006, Vol. 204 Issue 6, p853-919. 67p.

Subjects: Hypergraphs, Algebra, Mathematical analysis, Graph theory

Query efficient implementation of graphs of bounded clique-width

Authors: Courcelle, B. Vanicat, R.

Source: Discrete Applied Mathematics. Sep2003, Vol. 131 Issue 1, p129. 22p.

Subjects: Graphic methods, Algorithms, Mathematical optimization, Mathematical functions, Mathematics

Clique-width of countable graphs: a compactness property

Authors: Courcelle, B.¹, courcell@labri.fr

Source: Discrete Mathematics; Feb2004, Vol. 276 Issue 1-3, p127, 22p