Alex Brik
5th
year Mathematics/CSME Ph.D. student.
Adviser:
Prof. Jeffrey Remmel.
Brik,
Remmel. Technical Communications of
the 27th International Conference on Logic Programming (ICLP’11),
LIPICS Vol. 11, 2011.
Extensions
of Answer Set Programming.
Brik. Technical Communications of the 27th International
Conference on Logic Programming (ICLP’11), LIPICS Vol. 11, 2011.
Computing Stable Models of Logic Programs Using Metropolis Type
Algorithms.
Brik,
Remmel. Workshop Proceedings.
ICLP 2011 Workshop on Answer Set Programming and Other Computing Paradigms.
(ASPOCP 2011) (Balduccini, Woltrans.
Eds.), 2011.
Computing Stable Models of Logic
Programs Using Metropolis Algorithm
A. Brik,
J. B. Remmel, accepted NonMon@30, 2010
Spring 2011: Math 187: Introduction to Cryptography.
Prof. Garsia.
Finite
Structure Software. (Please type into the
small text field on the bottom.)
A
document describing the Finite Structure Software and providing examples of its
use to answer some questions in Algebra: algebra.pdf
A
document describing the Finite Structure Software and providing various
examples of its use: Finite
structure software.pdf.
Sudoku solver. (Please type into the small text field on the bottom). Sudoku solver manual.