| 2006 |
|---|
| 14 | EE | Deborah East,
Miroslaw Truszczynski:
Predicate-calculus-based logics for modeling and solving search problems.
ACM Trans. Comput. Log. 7(1): 38-83 (2006) |
| 13 | EE | Deborah East,
Mikhail Iakhiaev,
Artur Mikitiuk,
Miroslaw Truszczynski:
Tools for modeling and solving search problems.
AI Commun. 19(4): 301-312 (2006) |
| 2002 |
|---|
| 12 | EE | Deborah East,
Miroslaw Truszczynski:
The aspps System.
JELIA 2002: 533-536 |
| 11 | EE | Deborah East,
Miroslaw Truszczynski:
Propositional satisfiability in declarative programming
CoRR cs.LO/0211033: (2002) |
| 2001 |
|---|
| 10 | EE | Deborah East,
Miroslaw Truszczynski:
More on Wire Routing with ASP.
Answer Set Programming 2001 |
| 9 | EE | Deborah East,
Miroslaw Truszczynski:
Propositional Satisfiability in Answer-Set Programming.
KI/ÖGAI 2001: 138-153 |
| 8 | EE | Deborah East,
Miroslaw Truszczynski:
aspps - An Implementation of Answer-Set Programming with Propositional Schemata.
LPNMR 2001: 402-405 |
| 7 | EE | Deborah East,
Miroslaw Truszczynski:
Propositional satisfiability in answer-set programming
CoRR cs.AI/0107028: (2001) |
| 6 | EE | Deborah East,
Miroslaw Truszczynski:
aspps - an implementation of answer-set programming with propositional schemata
CoRR cs.AI/0107029: (2001) |
| 2000 |
|---|
| 5 | | Deborah East,
Miroslaw Truszczynski:
DATALOG with Constraints - An Answer-Set Programming System.
AAAI/IAAI 2000: 163-168 |
| 4 | EE | Deborah East,
Miroslaw Truszczynski:
On the accuracy and running time of GSAT
CoRR cs.AI/0002003: (2000) |
| 3 | EE | Deborah East,
Miroslaw Truszczynski:
dcs: An Implementation of DATALOG with Constraints
CoRR cs.AI/0003061: (2000) |
| 2 | EE | Deborah East,
Miroslaw Truszczynski:
DATALOG with constraints - an answer-set programming system
CoRR cs.AI/0003077: (2000) |
| 1999 |
|---|
| 1 | | Deborah East,
Miroslaw Truszczynski:
On the Accuracy and Running Time of GSAT.
EPIA 1999: 49-61 |
