Işıl Dillig, a professor in the Department of Computer Science at The University of Texas at Austin, earned the 2025 Robin ...

This web page provides supplementary material to the following paper: SCRAM: Scalable Collision-avoiding Role Assignment with Minimal-makespan for Formational Positioning Patrick MacAlpine, Eric Price ...

Cmodels is a system that computes answer sets for either disjunctive logic programs or logic programs containing choice rules. Answer set solver Cmodels uses SAT solvers as a search engine for ...

NOTE: If you intend to obtain an incremental release (e.g. 2.9.4 as opposed to 2.9), please see the ACL2 News for instructions. Otherwise, continue reading here. A collection of books (ACL2 input ...