1097 search results - page 93 / 220 » Revision Programming = Logic Programming Integrity Constra... |
123
click to vote
ICTAI
1996
IEEE
15 years 7 months ago
1996
IEEE
In many applications, such as decision support, negotiation, planning, scheduling, etc., one needs to express requirements that can only be partially satisfied. In order to expres...
171
click to vote
PLDI
2011
ACM
14 years 6 months ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
146
click to vote
CONSTRAINTS
2006
15 years 3 months ago
2006
We combine mixed integer linear programming (MILP) and constraint programming (CP) to minimize tardiness in planning and scheduling. Tasks are allocated to facilities using MILP an...
152
click to vote
SODA
2010
ACM
16 years 24 days ago
2010
ACM
The hypergraph matching problem is to find a largest collection of disjoint hyperedges in a hypergraph. This is a well-studied problem in combinatorial optimization and graph theo...
124
Voted
CADE
2010
Springer
15 years 4 months ago
2010
Springer
This system description provides an overview of the MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula in a logic that supports expressions about sets, multi...