Author

B. Lennartson

h-index 3 View on Semantic Scholar

We have 1 of 7 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Open access Aug 2026

Optimization based on timed Petri nets using CP-SAT - an integrated SAT and CP solver

The conclusion is that the strength of CP-SAT depends on its successful integration of search, inference, and OR-based relaxation on top of a satisfiability solver.

B. Lennartson · Discrete event dynamic syste... · 0 citations