The Courier, Volume 11, Issue 23, April 13, 1978

Stories: Wood Is New Board Chairman Berg Proposes Three New Campus Buildings Forensics Wipes Up State, Heads For Nationals Council Make-Up Questioned--Why Can Some Vote While Others Can’t? Ex-Gymnastics Coach Dave Webster Inducted Into The National Hall Of Fame People: Wendell Wood David Madden Dave Webste

Experiments with SAT-based Answer Set Programming

Answer Set Programming (ASP) emerged in the late 1990s as a new logic programming paradigm which has been successfully applied in various application domains. Propositional satisfiability (SAT) is one of the most studied problems in Computer Science. ASP and SAT are closely related: Recent works have studied their relation, and efficient SAT-based ASP solvers (like assat and Cmodels) exist. In this paper we report about (i) the extension of the basic procedures in Cmodels in order to incorporate the most popular SAT reasoning strategies, and (ii) an extensive comparative analysis involving also other state-of-the-art answer set solvers. The experimental analysis points out, besides the fact that Cmodels is highly competitive, that the reasoning strategies that work best on “small but hard” problems are ineffective on “big but easy” problems and vice-versa

The Courier, Volume 14, Issue 19, March 5, 1981

Stories: Registration Snafu Irks 200 Nursing Students Contract To Be Let Soon For New Phone System Pick ‘Cluster-Type Design For New P. E. Facility Keep On Saving Energy: That’s Committee’s Goal Film Maker Uses CD Talent For His Movie Here’s How It Looked During Spring Registration (photos) People: Jo Anne Hill Nicholas Johnson Jay Flynn Charles Hanzli

The Courier, Volume 21, Issue 23, May 6, 1988

Stories: One-Third Of Polled Staff Cite Air Woes, Sex Harassment Also Alleged Forensics Places Eighth At National Tournament Pape Agency ‘Not’ CD Representative Violations Of State Laws’ Prompt Handicap Proposal Multimage Allows Students To Be Creative New Hockey Coach Named Netters Take N4C Title People: Robert Smith Tom Kurzawsk