Sebastien Jodogne

Identifiers

No identifiers captured yet.

Papers (1)

1. An Effective Decision Procedure for Linear Arithmetic with Integer and Real Variables cs.LO · 2003 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Bernard Boigelot 1 shared papers
• Pierre Wolper 1 shared papers