Federico Heras

Identifiers

No identifiers captured yet.

Papers (1)

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

Mentions

No mention provenance yet.

Frequent Coauthors

• Javier Larrosa 1 shared papers
• Simon de Givry 1 shared papers