Javier Larrosa

Identifiers

No identifiers captured yet.

Papers (1)

1. A Logical Approach to Efficient Max-SAT solving cs.AI · 2006 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Federico Heras 1 shared papers
• Simon de Givry 1 shared papers