Deborah East

Identifiers

No identifiers captured yet.

Papers (5)

1. Propositional satisfiability in declarative programming cs.LO · 2002 · author #1
2. Propositional satisfiability in answer-set programming cs.AI · 2001 · author #1
3. DATALOG with constraints - an answer-set programming system cs.AI · 2000 · author #1
4. dcs: An Implementation of DATALOG with Constraints cs.AI · 2000 · author #1
5. On the accuracy and running time of GSAT cs.AI · 2000 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Miroslaw Truszczynski 5 shared papers