Deborah East

14 papers B 2Misc 1Journal 8Unranked 3
YearRankTypeTitle / Venue / Authors
2006 J jnl
Predicate-calculus-based logics for modeling and solving search problems.
ACM Trans. Comput. Log.
Deborah East, Miroslaw Truszczynski
2006 J jnl
Tools for modeling and solving search problems.
AI Commun.
Deborah East, Mikhail Iakhiaev, Artur Mikitiuk, Miroslaw Truszczynski
2002 J jnl
Propositional satisfiability in declarative programming
CoRR
Deborah East, Miroslaw Truszczynski
2002 B conf
The aspps System.
JELIA
Deborah East, Miroslaw Truszczynski
2001 — conf
More on Wire Routing with ASP.
Answer Set Programming
Deborah East, Miroslaw Truszczynski
2001 — conf
Propositional Satisfiability in Answer-Set Programming.
KI/ÖGAI
Deborah East, Miroslaw Truszczynski
2001 J jnl
Propositional satisfiability in answer-set programming
CoRR
Deborah East, Miroslaw Truszczynski
2001 B conf
aspps - An Implementation of Answer-Set Programming with Propositional Schemata.
LPNMR
Deborah East, Miroslaw Truszczynski
2001 J jnl
aspps - an implementation of answer-set programming with propositional schemata
CoRR
Deborah East, Miroslaw Truszczynski
2000 — conf
DATALOG with Constraints - An Answer-Set Programming System.
AAAI/IAAI
Deborah East, Miroslaw Truszczynski
2000 J jnl
DATALOG with constraints - an answer-set programming system
CoRR
Deborah East, Miroslaw Truszczynski
2000 J jnl
On the accuracy and running time of GSAT
CoRR
Deborah East, Miroslaw Truszczynski
2000 J jnl
dcs: An Implementation of DATALOG with Constraints
CoRR
Deborah East, Miroslaw Truszczynski
1999 Misc conf
On the Accuracy and Running Time of GSAT.
EPIA
Deborah East, Miroslaw Truszczynski