Constraint CNF: SAT and CSP Language Under One Roof. (Q5240215): Difference between revisions

@@ label / en / label / en @@
+Constraint CNF: SAT and CSP Language Under One Roof.
@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sugar
@@ Property / describes a project that uses: Sugar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Clingcon
@@ Property / describes a project that uses: Clingcon / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Conflict-driven answer set solving: from theory to practice
+Normal rank
@@ Property / cites work @@
+Constraint Answer Set Solving
@@ Property / cites work: Constraint Answer Set Solving / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Answer Set Solvers
@@ Property / cites work: Abstract Answer Set Solvers / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract answer set solvers with backjumping and learning
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving SAT and SAT Modulo Theories
@@ Property / cites work: Solving SAT and SAT Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Propagation via lazy clause generation
@@ Property / cites work: Propagation via lazy clause generation / rank @@
+Normal rank
@@ Property / cites work @@
+Compiling finite linear CSP into SAT
@@ Property / cites work: Compiling finite linear CSP into SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473043
@@ Property / cites work: Q4473043 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://dblp.uni-trier.de/db/conf/iclp/iclp2016.html#CatL16
+Normal rank
@@ Property / OpenAlex ID @@
+W2236450292
@@ Property / OpenAlex ID: W2236450292 / rank @@
+Normal rank
@@ Property / title @@
+Constraint CNF: SAT and CSP Language Under One Roof. (English)
+Normal rank