Wyniki wyszukiwania dla: Massimo Narizzano
Innovations in Systems and Software Engineering > 2019 > 15 > 3-4 > 307-323
International Journal of Computer Assisted Radiology and Surgery > 2017 > 12 > 10 > 1727-1738
Robotics and Autonomous Systems > 2017 > 92 > C > 139-151
BMC Bioinformatics > 2017 > 18 > 1 > 1-13
Lecture Notes in Computer Science > AI*IA 2001: Advances in Artificial Intelligence > Automated Reasoning > 111-122
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing > Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables > 105-121
Lecture Notes in Computer Science > AI*IA 2007: Artificial Intelligence and Human-Oriented Computing > Knowledge Representation and Reasoning > 97-108
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2010 > Part 2. Regular Papers > 85-98
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing > SAT Solver Competition and QBF Solver Evaluation (Invited Papers) > 376-392
Lecture Notes in Computer Science > Automated Reasoning > Propositional Satisfiability and Quantified Boolean Logic > 364-369
Lecture Notes in Computer Science > Computer Aided Systems Theory - EUROCAST 2009 > Applied Formal Verification > 287-294
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2004 > Full Papers > 260-273
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2009 > Distributed and Parallel Solving > 509-523
BMC Bioinformatics > 2015 > 16 > 1 > 1-12
Journal of Automated Reasoning > 2010 > 45 > 4 > 397-414
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2007 > 26 > 3 > 497 - 507