Search results for: J. Maher
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 89-98
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Contributed Papers > 347-356
Lecture Notes in Computer Science > Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems > Regular Papers > 163-177
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming - CP 2009 > Research Track Papers > 584-591
Lecture Notes in Computer Science > Logic Programming > 174-188
Lecture Notes in Computer Science > Computational Logic — CL 2000 > Logic Programming: Theory and Extensions > 209-222
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 16-29
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2003 > Full Papers > 525-539