www.cril.univ-artois.fr

8

Total Links

6

Wikipedia Pages

0

Subdomains

Topics

Basketball

Related Domains

www.cril.univ-artois.fr www.univ-artois.fr apu.univ-artois.fr artoistv.univ-artois.fr crehs.univ-artois.fr formations.univ-artois.fr www.uccs.univ-artois.fr

Wikipedia Pages Linking to www.cril.univ-artois.fr

SAT solver

View on Wikipedia

2 links on this page

Loading...

Ofer Strichman

View on Wikipedia

2 links on this page

Loading...

Boolean satisfiability problem

View on Wikipedia

1 links on this page

Loading...

B-Prolog

View on Wikipedia

1 links on this page

Loading...

Zuse Institute Berlin

View on Wikipedia

1 links on this page

Loading...

Wikipedia Links

http://www.cril.univ-artois.fr/~roussel/satgame/satgame.php?lang=eng

Anchor text: SAT Game

Wikipedia: Boolean satisfiability problem

http://www.cril.univ-artois.fr/CPAI06/

Wikipedia: B-Prolog

http://www.cril.univ-artois.fr/~roussel/ppfolio/

Anchor text: ppfolio solver

Wikipedia: SAT solver

http://www.cril.univ-artois.fr/SAT11/results/ranking.php?idev=58

Anchor text: SAT 2011 Competition: 32 cores track: ranking of solvers

Wikipedia: SAT solver

http://www.cril.univ-artois.fr/PB09/results/ranking.php?idev=28

Anchor text: Pseudo-Boolean challenge 2009

Wikipedia: Zuse Institute Berlin

http://www.cril.univ-artois.fr/~marquis/everaere-konieczny-marquis-ecai10.pdf

Wikipedia: Jury theorem

http://www.cril.univ-artois.fr/SAT11/results/solverlist.php?idev=49

Anchor text: SAT 2011 Competition: group-oriented MUS track: list of solvers

Wikipedia: Ofer Strichman

http://www.cril.univ-artois.fr/SAT11/results/ranking.php?idev=48

Anchor text: SAT 2011 Competition: plain MUS track: ranking of solvers

Wikipedia: Ofer Strichman