Wyniki wyszukiwania dla: Sharad Malik
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing > Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables > 292-305
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming - CP 2002 > Technical Papers > 200-215
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Invited Talk > 1-1
Lecture Notes in Computer Science > Embedded Software > 319-333
Lecture Notes in Computer Science > Field-Programmable Logic and Applications From FPGAs to Computing Paradigm > 326-335
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing > SAT Solver Competition and QBF Solver Evaluation (Invited Papers) > 360-375
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2006 > Session 6. MAX-SAT > 252-265
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2006 > Session 8. QBF > 368-381
Lecture Notes in Computer Science > Hardware and Software, Verification and Testing > Hardware Verification > 30-42
Lecture Notes in Computer Science > Embedded Software > 254-256
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Posters > 350-355
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2006 > Session 4. SMT > 142-155