Search Sciweavers | Sciweavers

4513 search results - page 18 / 903

» Logic programming with satisfiability

126

click to vote

CORR
2004
Springer

123views Education» more CORR 2004»

Light types for polynomial time computation in lambda-calculus

15 years 1 months ago

Download www-lipn.univ-paris13.fr

We present a polymorphic type system for lambda calculus ensuring that welltyped programs can be executed in polynomial time: dual light affine logic (DLAL). DLAL has a simple typ...

Patrick Baillot, Kazushige Terui

claim paper

Read More »

110

click to vote

IPL
2008

111views more IPL 2008»

Adding cardinality constraints to integer programs with applications to maximum satisfiability

15 years 1 months ago

Download wwwhome.math.utwente.nl

Max-SAT-CC is the following optimization problem: Given a formula in CNF and a bound k, find an assignment with at most k variables being set to true that maximizes the number of ...

Markus Bläser, Thomas Heynen, Bodo Manthey

claim paper

Read More »

104

click to vote

LPNMR
2009
Springer

207views Automated Reasoning» more LPNMR 2009»

Integrating Answer Set Programming and Satisfiability Modulo Theories

15 years 8 months ago

Download www.datalog20.org

Ilkka Niemelä

claim paper