Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Howe, Jacob - Department of Computing, City University, London
Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
A Pearl on SAT Solving in Prolog Jacob M. Howe1
Under consideration for publication in Theory and Practice of Logic Programming 1 Ecient Groundness Analysis in Prolog
A Pearl on SAT Solving in Prolog Jacob Howe and Andy King
Integer Polyhedra for Program Analysis Philip J. Charles1
Logahedra: a New Weakly Relational Domain Jacob M. Howe1
Positive Boolean Functions as Multiheaded Clauses
