R. J. Bayardo Jr. and R. C. Schrag.
Using CSP look-back
techniques to solve real world SAT instances.
In Proc. of the
14th National Conf. on Artificial Intelligence, 203-208, 1997.
aaai97.pdf
Source code for the algorithms used in this paper available
here.
R. J. Bayardo Jr., W. Bohrer, R. Brice, A. Cichocki, G. Fowler,
S. Helal, V. Kashyap, T. Ksiezyk, G. Martin, M. Nodine, M. Rashid,
M. Rusinkiewicz, R. Shea, C. Unnikrishnan, A. Unruh, and D. Woelk.
Infosleuth: Semantic Integration of Information in Open and
Dynamic Environments.
In Proc. of the 1997 ACM-SIGMOD International
Conference on Management of Data, 195-206.
Also in
Readings in Agents, M. N. Huhns and M. P. Singh eds.,
Morgan Kaufman, 1997.
sigmod97.pdf
R. J. Bayardo Jr. and
D. P. Miranker.
Processing queries for first-few answers.
In Proc. of the Fifth Int'l Conf. on Information and Knowledge
Management, 45-52, 1996.
cikm96.pdf
R. J. Bayardo Jr. and R. Schrag.
Using CSP look-back
techniques to solve exceptionally hard SAT instances.
In Proc. of the Second Int'l Conf. on Principles
and Practice of Constraint Programming (Lecture Notes in Computer
Science 1118) , 46-60, Springer, 1996.
cp96.pdf
R. J. Bayardo Jr. and
D. P. Miranker.
A complexity analysis of space-bounded learning algorithms for the
constraint satisfaction problem.
In Proc. of the 13th National Conf. on Artificial
Intelligence, 298-304, 1996.
aaai96.pdf
R. J. Bayardo Jr. and
D. P. Miranker.
On the space-time
trade-off in solving constraint satisfaction problems.
In Proc. of the 14th Int'l Joint Conf. on
Artificial Intelligence, 558-562, 1995.
ijcai95.pdf
R. J. Bayardo Jr. and
D. P. Miranker.
An optimal
backtrack algorithm for tree-structured constraint satisfaction
problems. Artificial Intelligence 71(1), 159-181, 1994.
(Not available on-line)
J. C. Browne, A. Emerson, M. G. Gouda,
D. P. Miranker,
A. Mok, R. J.
Bayardo Jr., S. Chodrow, D. Gadbois, F. Haddix, T. W. Hetherington,
L. Obermeyer, D.-C. Tsou, C.-K. Wang, and R. Wang. A new
approach to modularity in rule-based programming.
In Proc. of the Sixth Int'l Conf. on Tools
with Artificial Intelligence, 18-25, IEEE Press, 1994.
ictai94.ps.gz
(Gzipped PostScript, 372k)