Loading...
Thumbnail Image
research article

Enhancing disjunctive logic programming systems by SAT checkers

Koch, Christoph 
•
Leone, Nicola
•
Pfeifer, Gerald
2003
Artificial Intelligence
Type
research article
DOI
10.1016/S0004-3702(03)00078-X
Authors
Koch, Christoph 
•
Leone, Nicola
•
Pfeifer, Gerald
Publication date

2003

Published in
Artificial Intelligence
Volume

151

Issue

1-2

Start page

177

End page

212

Note

Journal version of IJCAI 1999 paper.

Peer reviewed

REVIEWED

EPFL units
DATA 
Available on Infoscience
June 14, 2011
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/68684