Sciweavers

30 search results - page 1 / 6

» lpnmr 2009

10

LPNMR
2009
Springer

122views Automated Reasoning» more LPNMR 2009»

SAT, SMT and Applications

14 years 20 days ago

SAT, SMT and Applications

Download fmv.jku.at

Armin Biere

claim paper

Read More »

14

LPNMR
2009
Springer

78views Automated Reasoning» more LPNMR 2009»

Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs

14 years 20 days ago

Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs

Download www.cs.engr.uky.edu

Miroslaw Truszczynski

claim paper

Read More »

11

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 20 days 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 »

10

LPNMR
2009
Springer

94views Automated Reasoning» more LPNMR 2009»

Logic-Based Modeling in Systems Biology

14 years 20 days ago

Logic-Based Modeling in Systems Biology

Download www.cs.uni-potsdam.de

Alexander Bockmayr

claim paper

Read More »

18

LPNMR
2009
Springer

207views Automated Reasoning» more LPNMR 2009»

Integrating Answer Set Programming and Satisfiability Modulo Theories

14 years 20 days 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 »