|
Search the dblp DataBase
Deborah East:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Deborah East, Miroslaw Truszczynski
DATALOG with Constraints - An Answer-Set Programming System. [Citation Graph (0, 0)][DBLP] AAAI/IAAI, 2000, pp:163-168 [Conf]
- Deborah East, Miroslaw Truszczynski
More on Wire Routing with ASP. [Citation Graph (0, 0)][DBLP] Answer Set Programming, 2001, pp:- [Conf]
- Deborah East, Miroslaw Truszczynski
On the Accuracy and Running Time of GSAT. [Citation Graph (0, 0)][DBLP] EPIA, 1999, pp:49-61 [Conf]
- Deborah East, Miroslaw Truszczynski
The aspps System. [Citation Graph (0, 0)][DBLP] JELIA, 2002, pp:533-536 [Conf]
- Deborah East, Miroslaw Truszczynski
Propositional Satisfiability in Answer-Set Programming. [Citation Graph (0, 0)][DBLP] KI/ÖGAI, 2001, pp:138-153 [Conf]
- Deborah East, Miroslaw Truszczynski
aspps - An Implementation of Answer-Set Programming with Propositional Schemata. [Citation Graph (0, 0)][DBLP] LPNMR, 2001, pp:402-405 [Conf]
- Deborah East, Mikhail Iakhiaev, Artur Mikitiuk, Miroslaw Truszczynski
Tools for modeling and solving search problems. [Citation Graph (0, 0)][DBLP] AI Commun., 2006, v:19, n:4, pp:301-312 [Journal]
- Deborah East, Miroslaw Truszczynski
On the accuracy and running time of GSAT [Citation Graph (0, 0)][DBLP] CoRR, 2000, v:0, n:, pp:- [Journal]
- Deborah East, Miroslaw Truszczynski
dcs: An Implementation of DATALOG with Constraints [Citation Graph (0, 0)][DBLP] CoRR, 2000, v:0, n:, pp:- [Journal]
- Deborah East, Miroslaw Truszczynski
DATALOG with constraints - an answer-set programming system [Citation Graph (0, 0)][DBLP] CoRR, 2000, v:0, n:, pp:- [Journal]
- Deborah East, Miroslaw Truszczynski
Propositional satisfiability in answer-set programming [Citation Graph (0, 0)][DBLP] CoRR, 2001, v:0, n:, pp:- [Journal]
- Deborah East, Miroslaw Truszczynski
aspps - an implementation of answer-set programming with propositional schemata [Citation Graph (0, 0)][DBLP] CoRR, 2001, v:0, n:, pp:- [Journal]
- Deborah East, Miroslaw Truszczynski
Propositional satisfiability in declarative programming [Citation Graph (0, 0)][DBLP] CoRR, 2002, v:0, n:, pp:- [Journal]
- Deborah East, Miroslaw Truszczynski
Predicate-calculus-based logics for modeling and solving search problems. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2006, v:7, n:1, pp:38-83 [Journal]
Search in 0.002secs, Finished in 0.002secs
|