Search results for: Ashish Sabharwal
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2009 > Optimisation Algorithms > 447-452
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2011 > Extended Abstracts > 369-370
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2009 > Structures for SAT > 73-79
Lecture Notes in Computer Science > Automata, Languages and Programming > Concrete Complexity and Codes > 1412-1423
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2010 > Applications Track > 514-521
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming - CP 2006 > Regular Papers > 620-634
Lecture Notes in Computer Science > Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems > 16-28
Lecture Notes in Computer Science > Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems > Short Papers > 382-386
Lecture Notes in Computer Science > Automata, Languages and Programming > Paper Retraction > 949-949
Lecture Notes in Computer Science > Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems > Short Papers > 303-307
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2006 > Session 8. QBF > 382-395
Lecture Notes in Computer Science > Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems > Regular Papers > 56-70
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2007 > Full Research Papers > 256-270
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2007 > 100-106
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2011 > Research Track Papers > 454-469
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2011 > Research Track Papers > 508-522
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2010 > Part 3. Short Papers > 346-351
Lecture Notes in Computer Science > Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems > Long Papers > 127-141