Search Results for author:
Found 2 papers, 2 papers with code
SAT Encoding of Partial Ordering Models for Graph Coloring Problems
For the widely studied GCP, we experimentally compare our new SAT encoding to the state-of-the-art approaches on the DIMACS benchmark set.
Mining Legal Arguments in Court Decisions
Identifying, classifying, and analyzing arguments in legal discourse has been a prominent area of research since the inception of the argument mining field.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
