Sciweavers

30 search results - page 1 / 6

» lpnmr 2009

20

LPNMR
2009
Springer

122views Automated Reasoning» more LPNMR 2009»

SAT, SMT and Applications

14 years 1 months ago

SAT, SMT and Applications

Download fmv.jku.at

Armin Biere

claim paper

Read More »

20

LPNMR
2009
Springer

78views Automated Reasoning» more LPNMR 2009»

Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs

14 years 1 months ago

Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs

Download www.cs.engr.uky.edu

Miroslaw Truszczynski

claim paper

Read More »

18

LPNMR
2009
Springer

94views Automated Reasoning» more LPNMR 2009»

Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode

14 years 1 months ago

Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode

Download www.cs.uni-potsdam.de

Torsten Schaub

claim paper

Read More »

19

LPNMR
2009
Springer

94views Automated Reasoning» more LPNMR 2009»

Logic-Based Modeling in Systems Biology

14 years 1 months ago

Logic-Based Modeling in Systems Biology

Download www.cs.uni-potsdam.de

Alexander Bockmayr

claim paper

Read More »

27

LPNMR
2009
Springer

207views Automated Reasoning» more LPNMR 2009»

Integrating Answer Set Programming and Satisfiability Modulo Theories

14 years 1 months ago

Integrating Answer Set Programming and Satisfiability Modulo Theories

Download www.datalog20.org

Ilkka Niemelä

claim paper

Read More »

« Prev « First page 1 / 6 Last » Next »