Incomplete inference for graph problems (Q1947627): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11590-012-0461-0
+Normal rank
@@ Property / OpenAlex ID @@
+W1968292514
@@ Property / OpenAlex ID: W1968292514 / rank @@
+Normal rank
@@ Property / cites work @@
+An efficient solver for weighted Max-SAT
@@ Property / cites work: An efficient solver for weighted Max-SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Q3604010
@@ Property / cites work: Q3604010 / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution for Max-SAT
@@ Property / cites work: Resolution for Max-SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411385
@@ Property / cites work: Q4411385 / rank @@
+Normal rank
@@ Property / cites work @@
+On Solving the Partial MAX-SAT Problem
@@ Property / cites work: On Solving the Partial MAX-SAT Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2003
+Normal rank
@@ Property / cites work @@
+A Max-SAT Inference-Based Pre-processing for Max-Clique
+Normal rank
@@ Property / cites work @@
+Q3604009
@@ Property / cites work: Q3604009 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624109
@@ Property / cites work: Q3624109 / rank @@
+Normal rank
@@ Property / cites work @@
+A logical approach to efficient Max-SAT solving
@@ Property / cites work: A logical approach to efficient Max-SAT solving / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624095
@@ Property / cites work: Q3624095 / rank @@
+Normal rank
@@ Property / cites work @@
+New Upper Bounds for Maximum Satisfiability
@@ Property / cites work: New Upper Bounds for Maximum Satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4547547
@@ Property / cites work: Q4547547 / rank @@
+Normal rank
@@ Property / cites work @@
+A fast algorithm for the maximum clique problem
@@ Property / cites work: A fast algorithm for the maximum clique problem / rank @@
+Normal rank
@@ Property / cites work @@
+A new bounding procedure and an improved exact algorithm for the Max-2-SAT problem
+Normal rank
@@ Property / cites work @@
+Fortran subroutines for computing approximate solutions of weighted MAX-SAT problems using GRASP
+Normal rank
@@ Property / cites work @@
+Q3604006
@@ Property / cites work: Q3604006 / rank @@
+Normal rank
@@ Property / cites work @@
+Exact ground states of Ising spin glasses: new experimental results with a branch-and-cut algorithm
+Normal rank
@@ Property / cites work @@
+Optimal Protein Structure Alignment Using Maximum Cliques
+Normal rank
@@ Property / cites work @@
+Random constraint satisfaction: easy generation of hard (satisfiable) instances
+Normal rank