Claudia Vasconcellos-Gaete

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 3

Top Topics

Constraint Satisfaction Problems

Propositional Satisfiability

Semantic Meaning

Top Venues

Res. Comput. Sci.

Publications

Guillaume Fertin, Éric Monfroy, Claudia Vasconcellos-Gaete
Best of Both Worlds: Solving the Cyclic Bandwidth Problem by Combining Pre-existing Knowledge and Constraint Programming Techniques. ICCS (5) (2024)
Claudia Vasconcellos-Gaete, Vincent Barichard, Frédéric Lardeux
Abacus: A New Hybrid Encoding for SAT Problems. ICTAI (2020)
Claudia Vasconcellos-Gaete, Vincent Barichard, Frédéric Lardeux
On the Use of CSP Semantic Information in SAT Models. Res. Comput. Sci. 148 (11) (2019)