Search results for: Armando Tacchella
Innovations in Systems and Software Engineering > 2019 > 15 > 3-4 > 307-323
Information Systems Frontiers > 2019 > 21 > 1 > 87-107
Applied Intelligence > 2018 > 48 > 4 > 886-908
Robotics and Autonomous Systems > 2017 > 92 > C > 139-151
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 > Mechanizing Mathematical Reasoning > Logic and Deduction > 46-58
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 > Trends in Applied Intelligent Systems > Applications of Agent-Based Systems > 123-132
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2003 > Poster Papers > 842-846
Lecture Notes in Computer Science > Computer Aided Verification > SAT, BDDs, and Applications > 436-453
Lecture Notes in Computer Science > Computer Aided Verification > Session 4. Counter and Hybrid Systems Verification > 243-257
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 > Theory and Applications of Satisfiability Testing – SAT 2010 > Part 2. Regular Papers > 237-250