920 search results - page 121 / 184 » Generating Satisfiable Problem Instances |
ISW
2001
Springer
15 years 5 months ago
2001
Springer
This paper proposes a cryptographic mechanism for metering the duration and/or the number of instances of running a data process. This mechanism has the following property: knowing...
129
Voted
EPIA
1999
Springer
15 years 5 months ago
1999
Springer
OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the first modeling language to combine high-level algebraic and set notation...
116
click to vote
LOPSTR
1997
Springer
15 years 4 months ago
1997
Springer
Synthesis of logic programs is considered as a special instance of logic programming. We describe experience made within a logical metaprogramming environment whose central compone...
105
Voted
ICDE
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract-- This demo illustrates an XML search engine TargetSearch that addresses an open problem in XML keyword search: given relevant matches to keywords, how to compose query re...
87
Voted
DAGSTUHL
2007
15 years 2 months ago
2007
Automated political districting shares with electronic voting the aim of preventing electoral manipulation and pursuing an impartial electoral mechanism. Political districting can...