UNLOC- Incomplete search for UNSAT

In UNLOC, we focused on incomplete search for UNSAT, a challenging and promising question, and developing new learning schemes for Con?ict Directed Clause Learning algorithms.

Research activities
  Artificial Intelligence
  Logic

Participants