Sciweavers

30 search results - page 1 / 6

» lpnmr 2009

8

LPNMR
2009
Springer

122views Automated Reasoning» more LPNMR 2009»

SAT, SMT and Applications

13 years 12 months ago

SAT, SMT and Applications

Download fmv.jku.at

Armin Biere

claim paper

Read More »

12

LPNMR
2009
Springer

78views Automated Reasoning» more LPNMR 2009»

Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs

13 years 12 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 »

10

LPNMR
2009
Springer

94views Automated Reasoning» more LPNMR 2009»

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

13 years 12 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 »

9

LPNMR
2009
Springer

94views Automated Reasoning» more LPNMR 2009»

Logic-Based Modeling in Systems Biology

13 years 12 months ago

Logic-Based Modeling in Systems Biology

Download www.cs.uni-potsdam.de

Alexander Bockmayr

claim paper

Read More »

16

LPNMR
2009
Springer

207views Automated Reasoning» more LPNMR 2009»

Integrating Answer Set Programming and Satisfiability Modulo Theories

13 years 12 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 »