Sciweavers

47 search results - page 1 / 10
» Solving the Round Robin Problem Using Propositional Logic
Sort
View
45
Voted
AAAI
2000
15 years 1 months ago
Solving the Round Robin Problem Using Propositional Logic
Ramón Béjar, Felip Manyà
76
Voted
LOGCOM
2010
96views more  LOGCOM 2010»
14 years 11 months ago
The Complexity of the Warranted Formula Problem in Propositional Argumentation
The notion of warrant or justification is one of the central concepts in formal models of argumentation. The dialectical definition of warrant is expressed in terms of recursive...
Robin Hirsch, Nikos Gorogiannis
114
Voted
FOCI
2007
IEEE
15 years 7 months ago
A New Reduction from 3SAT to n-Partite Graphs
— The Constraint Satisfaction Problem (CSP) is one of the most prominent problems in artificial intelligence, logic, theoretical computer science, engineering and many other are...
Daniel J. Hulme, Robin Hirsch, Bernard F. Buxton, ...
AI
2008
Springer
15 years 21 days ago
Modelling and solving temporal reasoning as propositional satisfiability
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...
Duc Nghia Pham, John Thornton, Abdul Sattar
EOR
2007
174views more  EOR 2007»
15 years 16 days ago
A Benders approach for the constrained minimum break problem
This paper presents a hybrid IP/CP algorithm for designing a double round robin schedule with a minimal number of breaks. Both mirrored and non-mirrored schedules with and without ...
Rasmus V. Rasmussen, Michael A. Trick