Question

Prolog SAT Solver

score 7.9k · Answer 1 · 2011-02-09 23:21:25

7.9k

Views

Prolog SAT Solver

Published on 09 February 2011 at 23:21

score 3.1k · Answer 2 · 2011-02-26 21:40:50

3.1k

Views

Solving CNF using Prolog

Published on 26 February 2011 at 21:40

score 116 · Answer 3 · 2023-12-15 06:31:21

116

Views

CLP(FD): solution number count speedup

Published on 15 December 2023 at 06:31

score 35 · Answer 4 · 2020-12-09 20:51:49

35

Views

SICStus Prolog weighted_maximum/3 replacement?

Published on 09 December 2020 at 20:51

score 57 · Answer 5 · 2020-12-09 20:38:07

57

Views

SICStus Prolog sat_count/2 replacement?

Published on 09 December 2020 at 20:38

score 267 · Answer 6 · 2021-02-06 16:39:42

267

Views

What is the most elegant way to find 16-bit numbers which satisfy some conditions?

Published on 06 February 2021 at 16:39

score 174 · Answer 7 · 2021-10-13 14:11:53

174

Views

Unknown procedure card/2 in knights and knaves puzzle

Published on 13 October 2021 at 14:11

score 10.6k · Answer 8 · 2013-10-28 10:29:44

10.6k

Views

Prolog implement and/2, or/2, nand/2, nor/2, xor/2

Published on 28 October 2013 at 10:29

score 253 · Answer 9 · 2020-05-17 11:44:20

253

Views

Is there a prolog clpb coding which can solve this puzzle involving knights, knave, and spies?

Published on 17 May 2020 at 11:44

score 135 · Answer 10 · 2015-12-01 19:37:31

135

Views

Prolog: deduction given that items can be in exactly one of two sets, with set sizes known

Published on 01 December 2015 at 19:37

score 475 · Answer 11 · 2014-09-12 07:49:22

475

Views

Prolog boolean equation solve

Published on 12 September 2014 at 07:49

score 94 · Answer 12 · 2015-09-15 12:38:49

94

Views

Building a logical expression from structure data for clpb

Published on 15 September 2015 at 12:38

score 4.2k · Answer 13 · 2012-11-29 10:33:39

4.2k

Views

Prolog Constraint Processing : Packing Squares

Published on 29 November 2012 at 10:33

score 880 · Answer 14 · 2015-12-17 19:06:35

880

Views

Brute-force Prolog SAT solver for boolean formulas

Published on 17 December 2015 at 19:06

score 434 · Answer 15 · 2016-10-15 00:59:59

434

Views

Can prolog be used to determine invalid inference?

Published on 15 October 2016 at 00:59

score 183 · Answer 16 · 2017-10-31 07:59:06

183

Views

CLP(B) weighted sat_count/3 in Prolog

Published on 31 October 2017 at 07:59

score 768 · Answer 17 · 2016-11-14 17:01:01

768

Views

Print the results in a txt file with prolog

Published on 14 November 2016 at 17:01

score 530 · Answer 18 · 2016-11-21 14:57:13

530

Views

Count solutions in a CSP

Published on 21 November 2016 at 14:57

score 530 · Answer 19 · 2014-11-07 20:06:33

530

Views

Bertrand Russell Puzzle

Published on 07 November 2014 at 20:06

score 116 · Answer 20 · 2016-04-23 12:04:30

116

Views

Generating random values where a constraint does and does not hold

Published on 23 April 2016 at 12:04

List Question

Prolog SAT Solver

Solving CNF using Prolog

CLP(FD): solution number count speedup

SICStus Prolog weighted_maximum/3 replacement?

SICStus Prolog sat_count/2 replacement?

What is the most elegant way to find 16-bit numbers which satisfy some conditions?

Unknown procedure card/2 in knights and knaves puzzle

Prolog implement and/2, or/2, nand/2, nor/2, xor/2

Is there a prolog clpb coding which can solve this puzzle involving knights, knave, and spies?

Prolog: deduction given that items can be in exactly one of two sets, with set sizes known

Prolog boolean equation solve

Building a logical expression from structure data for clpb

Prolog Constraint Processing : Packing Squares

Brute-force Prolog SAT solver for boolean formulas

Can prolog be used to determine invalid inference?

CLP(B) weighted sat_count/3 in Prolog

Print the results in a txt file with prolog

Count solutions in a CSP

Bertrand Russell Puzzle

Generating random values where a constraint does and does not hold

Trending Questions

Popular # Hahtags

Popular Questions