Search results for: Matti Järvisalo
Machine Learning > 2018 > 107 > 1 > 247-283
International Journal of Approximate Reasoning > 2017 > 90 > C > 208-225
Artificial Intelligence > 2017 > 244 > C > 110-142
Journal of Computer and System Sciences > 2016 > 82 > 5 > 793-801
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2011 > Research Track Papers > 429-437
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Session 2. Technical Papers > 155-168
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 1. Constraint Solving > 31-46
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2007 > Full Research Papers > 348-363
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Decision Procedures > 129-144
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2010 > Part 3. Short Papers > 340-345
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 357-371
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Session 2. Technical Papers > 236-249
Journal of Computer and System Sciences > 2016 > 82 > 2 > 310-332
Artificial Intelligence > 2015 > 223 > Complete > 120-155
Distributed Computing > 2015 > 28 > 1 > 31-53
Artificial Intelligence > 2014 > 206 > Complete > 53-78
Journal of Automated Reasoning > 2012 > 49 > 4 > 583-619