State-of-the-art Methods for Pseudo-Boolean Solving with SCIP | Paper Citation Record

Observation aef5032f-34b8-4282-b941-0f8732212ebe · outbound

This paper cites an unresolved cited work.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Unresolved cited work

Reference 1

Resolution: malformed identifier; no resolver link, observed 2026-08-10T21:57:09.757483Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 50b3f913-7eb1-4b93-80bb-69ba805620be · outbound

This paper cites Constraint Integer Programming.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Constraint Integer Programming

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:57:12.109790Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 812ec4a0-4d54-4f09-8e64-151ff4741a0b · outbound

This paper cites Conﬂict analysis in mixed integer programming.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Conﬂict analysis in mixed integer programming

Reference 3

Resolution: verified exact; doi, observed 2026-08-10T21:57:10.755072Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation b0d70a74-0dec-4d36-8e1b-f946a651c062 · outbound

This paper cites A tight linearization and an algor ithm for zero-one quadratic programming problems.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP A tight linearization and an algor ithm for zero-one quadratic programming problems

Reference 4

Resolution: verified exact; doi, observed 2026-08-10T21:57:10.727508Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 2973aeeb-087d-486e-a70c-095c89fc1307 · outbound

This paper cites Linearization strategies for a class of zero- one mixed integer programming problems.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Linearization strategies for a class of zero- one mixed integer programming problems

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:57:12.082941Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation fc761fa7-b264-46fc-a98f-d2d477e1f211 · outbound

This paper cites Mixed-integer bilinear program ming problems.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Mixed-integer bilinear program ming problems

Reference 6

Resolution: malformed identifier; raw_fallback, observed 2026-08-10T21:57:12.058524Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 42f45f00-9a70-4f1b-89d0-8520197653b5 · outbound

This paper cites Orbitop al ﬁxing for the full (sub-)orbitope and application to the unit commitment problem.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Orbitop al ﬁxing for the full (sub-)orbitope and application to the unit commitment problem

Reference 7

Resolution: verified exact; doi, observed 2026-08-10T21:57:10.669716Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 53e2e658-4c99-42c0-8ddf-b2b4662a56ac · outbound

This paper cites an unresolved cited work.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-10T21:57:12.028567Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation eee0d183-b6a4-4779-a1e6-d0f72505c9e2 · outbound

This paper cites E ﬃcient separation of RLT cuts for implicit and explicit bilinear terms.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP E ﬃcient separation of RLT cuts for implicit and explicit bilinear terms

Reference 9

Resolution: verified exact; doi, observed 2026-08-10T21:57:10.635307Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation d867b770-1911-49bb-809b-3deee84ebed0 · outbound

This paper cites Handbook of Satisﬁability , volume 185 of Frontiers in Artiﬁcial Intelligence and Applica- tions.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Handbook of Satisﬁability , volume 185 of Frontiers in Artiﬁcial Intelligence and Applica- tions

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:57:11.991765Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 10761001-9916-4f54-8e55-b4b8b228c434 · outbound

This paper cites Pfetsch, Franziska Schl¨ osser, Felipe Serrano , Yuji Shinano, Mark Turner, Stefan Vigerske, Dieter Weninger, and Lixing Xu.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Pfetsch, Franziska Schl¨ osser, Felipe Serrano , Yuji Shinano, Mark Turner, Stefan Vigerske, Dieter Weninger, and Lixing Xu

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:57:11.960925Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation eb0c5417-b438-477a-b5f9-cc3e5e16df13 · outbound

This paper cites Chai and A.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Chai and A

Reference 12

Resolution: metadata mismatch; raw_fallback, observed 2026-08-10T21:57:11.446953Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 1e06dd73-8b84-49ba-bdee-82c2ca8f0c11 · outbound

This paper cites ParLS-PBO: A P arallel Local Search Solver for Pseudo Boolean Optimization.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP ParLS-PBO: A P arallel Local Search Solver for Pseudo Boolean Optimization

Reference 13

Resolution: malformed identifier; no resolver link, observed 2026-08-10T21:57:09.850900Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 83223f8f-22c2-4ace-807f-6cc2bea29141 · outbound

This paper cites A class of valid inequ alities for multilinear 0–1 optimization problems.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP A class of valid inequ alities for multilinear 0–1 optimization problems

Reference 14

Resolution: verified exact; doi, observed 2026-08-10T21:57:10.590999Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation c7c2d72f-d288-480a-991d-f23284e2e7f0 · outbound

This paper cites Chv´ atal rank in binary poly nomial optimization.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Chv´ atal rank in binary poly nomial optimization

Reference 15

Resolution: verified exact; doi, observed 2026-08-10T21:57:10.570162Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation b825e75e-6235-468c-94bd-8adb8022edd2 · outbound

This paper cites A Polyhedral Study of Binar y Polynomial Programs.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP A Polyhedral Study of Binar y Polynomial Programs

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-10T21:57:09.880075Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f8791c87-dbf7-4fca-92ee-3ac33d26ba59 · outbound

This paper cites The multilinear polytope for a cyclic hypergraphs.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP The multilinear polytope for a cyclic hypergraphs

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-10T21:57:09.885896Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d03a2b3-58bf-4b2d-8295-e85ecd5b829e · outbound

This paper cites Simple odd β-cycle inequalities for binary polynomial optimization.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Simple odd β-cycle inequalities for binary polynomial optimization

Reference 18

Resolution: malformed identifier; raw_fallback, observed 2026-08-10T21:57:11.922972Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 9e59dbbe-e139-45e1-8604-69a1de11677d · outbound

This paper cites Sahinidis.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Sahinidis

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-10T21:57:09.899009Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5842dde0-f5ff-474e-bc4a-0b6b8c12a997 · outbound

This paper cites Cutting to the core of pseudo-Boolean optimization: Com bining core- guided search with cutting planes reasoning.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Cutting to the core of pseudo-Boolean optimization: Com bining core- guided search with cutting planes reasoning

Reference 20

Resolution: verified exact; doi, observed 2026-08-10T21:57:10.504113Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 383d4ed5-c8b1-4f0c-aeb6-d290f768b834 · outbound

This paper cites Dixon and Matthew L.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Dixon and Matthew L

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:57:11.898965Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 9be3e306-993b-46c5-b7b1-9609bca0198d · outbound

This paper cites A uniﬁed framewor k for sym- metry handling.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP A uniﬁed framewor k for sym- metry handling

Reference 22

Resolution: malformed identifier; raw_fallback, observed 2026-08-10T21:57:11.859241Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 21d25293-2b5f-4ca8-8d9a-aef4684fcb0c · outbound

This paper cites Translating pseudo-boolean constraints into SAT.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Translating pseudo-boolean constraints into SAT

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-10T21:57:09.923604Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ef6ab818-c22a-41ed-b162-8935bd98b8ab · outbound

This paper cites Divide and conquer: Toward s faster pseudo- Boolean solving.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Divide and conquer: Toward s faster pseudo- Boolean solving

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-10T21:57:09.929302Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0cec61d3-d373-41a0-9ee5-18b7d10de11e · outbound

This paper cites A history of satisﬁability.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP A history of satisﬁability

Reference 25

Resolution: verified exact; doi, observed 2026-08-10T21:57:10.436037Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 41b317aa-51c5-4cdc-ad73-113d808c96db · outbound

This paper cites Pfetsch, Christia n Puchert, Daniel Rehfeldt, Franziska Schl¨ osser, Felipe Serrano, Yuji Shina no, Jan Merlin Viernickel, Stefan Vigerske, Dieter Weninger, Jonas T.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Pfetsch, Christia n Puchert, Daniel Rehfeldt, Franziska Schl¨ osser, Felipe Serrano, Yuji Shina no, Jan Merlin Viernickel, Stefan Vigerske, Dieter Weninger, Jonas T

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:57:11.830743Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 1ec64ab4-e08e-4e04-b335-456ef9adedae · outbound

This paper cites PaPILO : A parallel pre- solving library for integer and linear programming with multiprecision su pport.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP PaPILO : A parallel pre- solving library for integer and linear programming with multiprecision su pport

Reference 27

Resolution: verified exact; raw_fallback, observed 2026-08-10T21:57:11.232826Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation fcb3c221-3270-460e-befe-0c0feefbc3db · outbound

This paper cites GNU MP: The GNU Multiple Precision Arithmetic Library , 6.3.0 edition, 2023.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP GNU MP: The GNU Multiple Precision Arithmetic Library , 6.3.0 edition, 2023

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:57:11.801584Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation be2ebc63-e6b1-4ff8-845e-88feac7d0f6f · outbound

This paper cites Hemery and C.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Hemery and C

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:57:11.772076Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 1c0c2f62-1875-48cf-ae05-3c242e30d73a · outbound

This paper cites Detecting and handling reﬂection symmetr ies in mixed- integer (nonlinear) programming.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Detecting and handling reﬂection symmetr ies in mixed- integer (nonlinear) programming

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:57:11.744658Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 91e18131-18f9-4d61-a987-10d684c00ef9 · outbound

This paper cites Generalized resolution for 0–1 linear inequalities.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Generalized resolution for 0–1 linear inequalities

Reference 31

Resolution: malformed identifier; raw_fallback, observed 2026-08-10T21:57:11.713265Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 52e74955-b52d-49fb-8095-8c8b3ff27e5b · outbound

This paper cites Generaliz ed totalizer encoding for pseudo-Boolean constraints.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Generaliz ed totalizer encoding for pseudo-Boolean constraints

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-10T21:57:09.984685Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c5d4501-b552-48a4-b39c-9cd34aa72319 · outbound

This paper cites bliss: A tool for computing au tomorphism groups and canonical labelings of graphs.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP bliss: A tool for computing au tomorphism groups and canonical labelings of graphs

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:57:11.690047Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation e925a4ec-9aee-4f77-8368-0cb6c03bfe70 · outbound

This paper cites an unresolved cited work.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Unresolved cited work

Reference 34

Resolution: malformed identifier; raw_fallback, observed 2026-08-10T21:57:11.665488Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation c3a41f19-2d2d-47f7-87f5-9c1903a0ec64 · outbound

This paper cites an unresolved cited work.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Unresolved cited work

Reference 35

Resolution: verified exact; doi, observed 2026-08-10T21:57:10.392213Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 2e0d99dc-d759-4015-a1e5-8fabba19d7bc · outbound

This paper cites The Sat4j library, release 2.2.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP The Sat4j library, release 2.2

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:57:11.639286Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 0eed2cea-1312-484a-a224-f1575730b669 · outbound

This paper cites Feasibility Jump: an LP -free Lagrangian MIP heuristic.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Feasibility Jump: an LP -free Lagrangian MIP heuristic

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-10T21:57:10.015956Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de274716-e38b-4d75-a4b3-6add4f0995a5 · outbound

This paper cites Symmetry in integer linear programming.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Symmetry in integer linear programming

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-10T21:57:10.023909Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f505a62-89f6-413e-a187-fe7da2ea1b90 · outbound

This paper cites Marques-Silva and K.A.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Marques-Silva and K.A

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-10T21:57:10.029597Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 74ba536f-dcd6-4f29-8104-fa13e6229a0b · outbound

This paper cites Open-WBO : A modular MaxSAT solver,.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Open-WBO : A modular MaxSAT solver,

Reference 40

Resolution: malformed identifier; no resolver link, observed 2026-08-10T21:57:10.035916Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 06062532-36a4-4777-a43c-7dc5eead4f41 · outbound

This paper cites McKay and Adolfo Piperno.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP McKay and Adolfo Piperno

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-10T21:57:10.041383Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 37fd2a5e-e4df-4922-a6af-9e8f8ec9acf7 · outbound

This paper cites Improving conﬂict analysis in MIP solvers by pseudo-Boolean reasoning.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Improving conﬂict analysis in MIP solvers by pseudo-Boolean reasoning

Reference 42

Resolution: verified exact; doi, observed 2026-08-10T21:57:10.262631Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 8de01d0f-f8d7-44e5-84b1-8870124935ab · outbound

This paper cites Cut-based conﬂict analysis in mixed integer programming, 2 024.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Cut-based conﬂict analysis in mixed integer programming, 2 024

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-10T21:57:10.054297Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8a5e7228-38e6-4b74-847d-f0212360afed · outbound

This paper cites Orbital branching.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Orbital branching

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-10T21:57:10.062328Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 412f2930-a28b-479e-860c-29d0683d2802 · outbound

This paper cites Pseudo-Boolean competition 2009, 2009.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Pseudo-Boolean competition 2009, 2009

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:57:11.616302Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 0b8171ce-ff29-4a35-9f23-2b8e0ba66a53 · outbound

This paper cites Pseudo-Boolean competition 2010, 2010.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Pseudo-Boolean competition 2010, 2010

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:57:11.585981Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 5c046ac0-d979-4f96-858c-e26ced71121a · outbound

This paper cites Pseudo-Boolean competition 2011, 2011.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Pseudo-Boolean competition 2011, 2011

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:57:11.552314Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation e6114902-3cab-445b-9b42-bc081358ec26 · outbound

This paper cites Pseudo-Boolean competition 2012, 2012.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Pseudo-Boolean competition 2012, 2012

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:57:11.519883Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 44e438ba-eb21-45ed-8e46-b30ef764c481 · outbound

This paper cites Pseudo-Boolean competition 2024, 2024.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Pseudo-Boolean competition 2024, 2024

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:57:11.494884Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 25948e69-38b8-45bc-a51f-f5387b786d90 · outbound

This paper cites Construction of an RO BDD for a PB-constraint in band form and related techniques for PB-solver s.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Construction of an RO BDD for a PB-constraint in band form and related techniques for PB-solver s

Reference 50

Resolution: verified exact; doi, observed 2026-08-10T21:57:10.218741Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 205420e2-082a-435b-a5ac-14347e5601e1 · outbound

This paper cites Pueblo: A hybrid pseudo-Boo lean SAT solver.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Pueblo: A hybrid pseudo-Boo lean SAT solver

Reference 51

Resolution: verified exact; doi, observed 2026-08-10T21:57:10.195170Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 48d38fd0-8cc0-4349-8c08-c517250ada67 · outbound

This paper cites FiberSCIP—a shared memory parallelization of SCIP.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP FiberSCIP—a shared memory parallelization of SCIP

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-10T21:57:10.118934Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 682097af-3c2e-421a-ae59-56bd23874f7f · outbound

This paper cites an unresolved cited work.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Unresolved cited work

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-10T21:57:10.126475Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff5e2506-a0a5-4764-b19f-81b2977b2602 · outbound

This paper cites Computational a spects of infeasibility analysis in mixed integer programming.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Computational a spects of infeasibility analysis in mixed integer programming

Reference 54

Resolution: malformed identifier; raw_fallback, observed 2026-08-10T21:57:11.472034Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 318b8d75-62a4-49e5-90b8-6437111ec1c4 · outbound

This paper cites an unresolved cited work.

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP Unresolved cited work

Reference 1990

Resolution: verified exact; doi, observed 2026-08-10T21:57:10.699046Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers