Presentations and Authors

Last name A B C D E F G H I J K L M N O P Q R S T U V W X Y Z All

General Papers

Satisfiability Modulo Theories: An Efficient Approach for the Resource-Constrained Project Scheduling Problem PDF
Carlos Ansótegui, Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret
Automatic Synthesis of Temporal Invariants PDF
Sara Bernardini, David E. Smith
Classifying Scientific Publications Using Abstract Features PDF
Cornelia Caragea, Adrian Silvescu, Saurabh Kataria, Doina Caragea, Prasenjit Mitra
Reformulating Dynamic Linear Constraint Satisfaction Problems as Weighted CSPs for Searching Robust Solutions PDF
Laura Climent, Miguel Ángel Salido, Federico Barber
Simultaneous Abstract and Concrete Reinforcement Learning PDF
Tiago Matos, Yannick P. Bergamo, Valdinei Freire da Silva, Fabio G. Cozman, Anna Helena Reali Costa
A Modal View on Abstract Learning and Reasoning PDF
Henry Soldano
A Reformulation Strategy for Multi-Dimensional CSPs: The Case Study of the SET Game PDF
Amanda Swearngin, Berthe Y. Choueiry, Eugene C. Freuder