Some results and experiments in programming techniques for propositional logic (Q1100931): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/0305-0548(86)90056-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2092931458
@@ Property / OpenAlex ID: W2092931458 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862380
@@ Property / cites work: Q3862380 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4139711
@@ Property / cites work: Q4139711 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Modelling with integer variables
@@ Property / cites work: Modelling with integer variables / rank @@
+Normal rank
@@ Property / cites work @@
+Q3938537
@@ Property / cites work: Q3938537 / rank @@
+Normal rank
@@ Property / cites work @@
+Production rules as a representation for a knowledge-based consultation program
+Normal rank
@@ Property / cites work @@
+Q4138187
@@ Property / cites work: Q4138187 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5675139
@@ Property / cites work: Q5675139 / rank @@
+Normal rank
@@ Property / cites work @@
+Pivot and Complement–A Heuristic for 0-1 Programming
+Normal rank
@@ Property / cites work @@
+Q4404428
@@ Property / cites work: Q4404428 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3827800
@@ Property / cites work: Q3827800 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4142699
@@ Property / cites work: Q4142699 / rank @@
+Normal rank