|
|
Tools
for modeling and solving search problems
D. East. M. Iakhiaev, A.
Mikitiuk, M. Truszczynski, Third International Workshop on Modelling
and Reformulating Constraint Satisfaction Problems, Toronto, 2004.
Local
search with bootstrapping
L. Liu, M. Truszczynski, Proceedings of SAT-2004.
Satisfiability
and computing van der Waerden numbers
M. Dransfield, L. Liu, V. Marek,
M. Truszczynski, The Electronic Journal of Combinatorics, to appear (Preliminary version as M. Dransfield, V. Marek, M.
Truszczynski, Satisfiability and computing van der Waerden numbers in
Theory and Applications of Satisfiability testing, LNCS 2919, Springer,
2003)
Semantics
of disjunctive programs with monotone aggregates - an
operator-based approach
N. Pelov, M. Truszczynski,
Proceedings of NMR-04
Logic
programs with abstract constraint atoms
V. Marek, M. Truszczynski,
Proceedings of AAAI-04
Predicate-calculus
based logics for modeling and solving search problems
D. East, M. Truszczynski, ACM
TOCL, to appear
Constraint
Lingo: Towards high-level constraint programming
R. Finkel, V. Marek, M.
Truszczynski, Software Practice and Experience, to appear
Automatic
generation of English-language steps in puzzle solving
H. Ponnuru, R. Finkel, V. Marek and M. Truszczynski, The 2004
International Conference on Artificial Intelligence (IC-AI'04)
Ultimate
approximations in nonmonotonic knowledge representation system
M. Denecker, V.W. Marek, M.
Truszczynski, Information and Computation, to appear (Preliminary version in Principles of Knowledge Representation
and Reasoning, Proceedings of the Eighth International Conference
(KR2002)}, D. Fensel, D. McGuinness and M.-A. Williams, eds., 2002,
Morgan Kaufmann
Publishers.)
WSAT(cc)
- a fast local-search ASP solver
L. Liu, M. Truszczynski, Proceedings of LPNMR-03 (system
description
paper)