Search results for: Enrico Giunchiglia
Constraints > 2018 > 23 > 4 > 383-402
Lecture Notes in Computer Science > AI*IA 2001: Advances in Artificial Intelligence > Automated Reasoning > 111-122
Lecture Notes in Computer Science > Artificial Intelligence: Methodology, Systems, and Applications > 221-229
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 > Principles and Practice of Constraint Programming > Research Track Short Papers > 603-607
Lecture Notes in Computer Science > Mechanizing Mathematical Reasoning > Logic and Deduction > 46-58
Lecture Notes in Computer Science > AI*IA 99: Advances in Artificial Intelligence > Automated Reasoning > 84-94
Lecture Notes in Computer Science > AI*IA 2007: Artificial Intelligence and Human-Oriented Computing > Planning and Scheduling > 422-433
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2003 > Poster Papers > 842-846
Lecture Notes in Computer Science > Trust, Privacy and Security in Digital Business > Security and Privacy in Real Life Applications > 63-72
Lecture Notes in Computer Science > Computer Aided Verification > SAT, BDDs, and Applications > 436-453
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2010 > Part 2. Regular Papers > 85-98
Lecture Notes in Computer Science > AI*IA 2009: Emergent Perspectives in Artificial Intelligence > Search > 253-263
Lecture Notes in Computer Science > The Semantic Web: Research and Applications > Ontologies > 272-289
Lecture Notes in Computer Science > Automated Reasoning > Propositional Satisfiability and Quantified Boolean Logic > 364-369