Pham, Tu-San
1190  results:
Search for persons X
?
 
?
3

Declarative Local Search for Predicate Logic:

, In: Logic Programming and Nonmonotonic Reasoning; Lecture Notes in Computer Science,
 
?
 
?
 
1-15