Title of article
Multiple total stable models are definitely needed to solve unique solution problems
Author/Authors
Domenico Saccà، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 1996
Pages
6
From page
249
To page
254
Keywords
Stable model , Complexity class , Relational database , DATAWG~ , Logic programming , Expressive power , Unique and criticalSAT
Journal title
Information Processing Letters
Serial Year
1996
Journal title
Information Processing Letters
Record number
128493
Link To Document