Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks | Paper Citation Record

Observation 7b7fd48f-1362-4738-9500-6e0bfac272a3 · outbound

This paper cites Roux, and Morgan Magnin.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Roux, and Morgan Magnin

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:18.798183Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 520dc281-2ce6-4168-b372-2228fefeafe9 · outbound

This paper cites Automated inference of Boolean models from molecular interaction maps using CaSQ.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Automated inference of Boolean models from molecular interaction maps using CaSQ

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:18.790981Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 28e24ada-103a-4204-8485-ecab996c33b0 · outbound

This paper cites ASP and subset minimality: Enumeration, cautious reasoning and MUSes.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks ASP and subset minimality: Enumeration, cautious reasoning and MUSes

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:18.782761Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation f27fa80a-c5ab-4e18-8851-143ec8d6c9e9 · outbound

This paper cites Muise, and Peter James Stuckey.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Muise, and Peter James Stuckey

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:18.770358Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation cf2f4bc2-a039-4434-92cf-0a111c29f031 · outbound

This paper cites Bridging abstract dialectical argumentation and Boolean gene regulation.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Bridging abstract dialectical argumentation and Boolean gene regulation

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-07T06:09:01.624912Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd16ed4f-3028-4e8d-af56-f68d3143a0a0 · outbound

This paper cites SAT competition 2017--solver and benchmark descriptions, 2017.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks SAT competition 2017--solver and benchmark descriptions, 2017

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:18.758150Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 5b84eca6-c726-416b-a2d3-c46e57207b2c · outbound

This paper cites Propositional semantics for disjunctive logic programs.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Propositional semantics for disjunctive logic programs

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:18.749307Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 378fcdb6-f459-4c98-a0be-b0fc3679e8f1 · outbound

This paper cites AEON: attractor bifurcation analysis of parametrised Boolean networks.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks AEON: attractor bifurcation analysis of parametrised Boolean networks

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:18.732117Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation b839a794-311c-47f2-826d-0f9152b650ee · outbound

This paper cites Phenotype control of partially specified Boolean networks.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Phenotype control of partially specified Boolean networks

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:18.511515Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 4470ee96-ef1a-45e7-8a3b-09ed1ab64b87 · outbound

This paper cites Handbook of Satisfiability , volume 185 of Frontiers in Artificial Intelligence and Applications.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Handbook of Satisfiability , volume 185 of Frontiers in Artificial Intelligence and Applications

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:18.353959Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 6a08a345-6364-4515-b3b0-1a36707138d7 · outbound

This paper cites Boolean network modeling in systems pharmacology.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Boolean network modeling in systems pharmacology

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:18.119374Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 68532d55-7057-4066-b13c-8c4f2e57da55 · outbound

This paper cites Complexity of fixed point counting problems in Boolean networks.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Complexity of fixed point counting problems in Boolean networks

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:18.011171Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 6e53b66a-fabc-4df7-ba40-9f57f2634160 · outbound

This paper cites Meel, and Moshe Y.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Meel, and Moshe Y

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:17.863961Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 9f216b5c-f8ac-4b01-a4ae-3dfde1174af1 · outbound

This paper cites Meel, and Moshe Y.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Meel, and Moshe Y

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:17.679397Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 7d35a4ba-f2f8-442e-877d-26e94b337d0c · outbound

This paper cites Chandra and George Markowsky.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Chandra and George Markowsky

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:17.508033Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation b89623c2-7525-48eb-a420-36c032d7fe07 · outbound

This paper cites e l, Laurence Calzone, Andrei Yu. Zinovyev, and Lo \.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks e l, Laurence Calzone, Andrei Yu. Zinovyev, and Lo \

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:17.454886Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 218e4114-9891-4a83-870e-fce3f9011006 · outbound

This paper cites an unresolved cited work.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-07T06:09:17.298007Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 425683c1-bd43-4a63-af2e-f677a826612b · outbound

This paper cites A practical account into counting Dung's extensions by dynamic programming.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks A practical account into counting Dung's extensions by dynamic programming

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:17.153792Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation c0f2c08e-a08d-4e64-9151-25ce9f549fc7 · outbound

This paper cites Connecting abstract argumentation and Boolean networks.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Connecting abstract argumentation and Boolean networks

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:16.933916Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation fff8e31c-9eb9-4d4a-9817-7cd2cdef3c70 · outbound

This paper cites A SAT -based algorithm for finding attractors in synchronous Boolean networks.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks A SAT -based algorithm for finding attractors in synchronous Boolean networks

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:16.716346Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 68e8725b-78d8-4558-8dfb-410861919e14 · outbound

This paper cites aspmc: New frontiers of algebraic answer set counting.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks aspmc: New frontiers of algebraic answer set counting

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:16.597519Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation f1d4bf06-c2af-4fd6-a641-2cce94429ffa · outbound

This paper cites Consistency of Clark's completion and existence of stable models.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Consistency of Clark's completion and existence of stable models

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:16.456734Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 0554d066-05c5-4fdc-bbce-dc2bd33d6f23 · outbound

This paper cites Fichte, Markus Hecher, and Mohamed A.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Fichte, Markus Hecher, and Mohamed A

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:16.303138Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 4e6c756a-c255-45b4-9b1b-64fc171ebd3e · outbound

This paper cites Rushing and strolling among answer sets - navigation made easy.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Rushing and strolling among answer sets - navigation made easy

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:16.149874Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 779fa429-88e6-4c6a-9927-8f9d6abb4fc2 · outbound

This paper cites Treewidth and counting projected answer sets.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Treewidth and counting projected answer sets

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:16.023723Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 527420b7-300e-44f7-bcea-e3a4109b58ac · outbound

This paper cites Counting complexity for reasoning in abstract argumentation.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Counting complexity for reasoning in abstract argumentation

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:15.883997Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 4e6916e0-403d-484c-b0eb-aab0cd10cc05 · outbound

This paper cites Answer set solving with bounded treewidth revisited.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Answer set solving with bounded treewidth revisited

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:15.717477Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a0c0075f-6573-45b6-96d4-01753a6e2d2f · outbound

This paper cites How many markers are needed to robustly determine a cell’s type? iScience , 24(11):103292, November 2021.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks How many markers are needed to robustly determine a cell’s type? iScience , 24(11):103292, November 2021

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:15.554639Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 5a6f7ed9-1394-451e-94ef-6ab1c61f5a95 · outbound

This paper cites Potassco: The Potsdam answer set solving collection.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Potassco: The Potsdam answer set solving collection

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:15.425158Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation d309b27e-0f94-4b14-a6fa-2338122edcb0 · outbound

This paper cites The stable model semantics for logic programming.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks The stable model semantics for logic programming

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:15.267655Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 16cdc59e-d1d9-47f1-8a54-6544ccda53a2 · outbound

This paper cites Abstract dialectical frameworks are Boolean networks.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Abstract dialectical frameworks are Boolean networks

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:15.120587Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation b9926853-780c-4b5f-9768-e326ae6d1881 · outbound

This paper cites Homan and Sven Kosub.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Homan and Sven Kosub

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:14.991802Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation ac170330-b498-47f8-937e-f072ea294994 · outbound

This paper cites Logic programming for Boolean networks.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Logic programming for Boolean networks

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:14.866370Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 04589bc2-3059-4ca7-81e3-171610fadeb8 · outbound

This paper cites Oscillating behavior of logic programs.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Oscillating behavior of logic programs

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:14.746706Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a7f37c92-6efc-4e12-9842-c61e5fdba28b · outbound

This paper cites Some (in)translatability results for normal logic programs and propositional theories.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Some (in)translatability results for normal logic programs and propositional theories

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:14.629252Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation fa4b2bc8-aa07-464f-ada8-8d8709c77847 · outbound

This paper cites Unfolding partiality and disjunctions in stable model semantics.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Unfolding partiality and disjunctions in stable model semantics

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:14.349845Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 73107c32-ae50-4b67-8050-de6366e7a3c3 · outbound

This paper cites an unresolved cited work.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Unresolved cited work

Reference 37

Resolution: unresolved; raw_fallback, observed 2026-08-07T06:09:14.141122Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a15ad56a-0a4b-4a8f-9eaa-e298103454fb · outbound

This paper cites Everardo, Ankit K.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Everardo, Ankit K

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:13.949202Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 7c52d5af-ad7e-4f03-9aed-4b5339da2682 · outbound

This paper cites A fast and accurate ASP counting based network reliability estimator.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks A fast and accurate ASP counting based network reliability estimator

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:13.753664Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 0b46cd06-8c13-447e-8f8a-5e7d7a9247a3 · outbound

This paper cites On lower bounding minimal model count.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks On lower bounding minimal model count

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:13.525273Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 0eafc864-b18a-4e5f-8e90-ffcf59456fe0 · outbound

This paper cites Admissibility in probabilistic argumentation.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Admissibility in probabilistic argumentation

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:13.343124Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a7555bee-2b79-437b-9a8a-424ef585c31f · outbound

This paper cites Minimal intervention strategies in logical signaling networks with ASP.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Minimal intervention strategies in logical signaling networks with ASP

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:13.134133Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 4a1cdd23-00b2-40b5-a0b7-1f19f3c15abb · outbound

This paper cites Towards a theory of biological robustness.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Towards a theory of biological robustness

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:12.961981Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 1f4f1d16-fec5-44bd-9c4b-3a90f011b741 · outbound

This paper cites Computing maximal and minimal trap spaces of Boolean networks.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Computing maximal and minimal trap spaces of Boolean networks

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:12.708185Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation c2e79e81-e57d-4515-a199-bc9571f8fddf · outbound

This paper cites Basins of attraction, commitment sets, and phenotypes of Boolean networks.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Basins of attraction, commitment sets, and phenotypes of Boolean networks

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:12.544245Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 785ecb48-a114-48d3-ac58-089df63e0649 · outbound

This paper cites Detection of markers for discrete phenotypes.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Detection of markers for discrete phenotypes

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:12.415621Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a22de02e-8ff7-49ba-b97e-7cf6be112ba9 · outbound

This paper cites Loop formulas for disjunctive logic programs.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Loop formulas for disjunctive logic programs

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:12.247770Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 6429b621-93f5-418e-9631-f9e38ce5ffe0 · outbound

This paper cites Dynamics inside the cancer cell attractor reveal cell heterogeneity, limits of stability, and escape.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Dynamics inside the cancer cell attractor reveal cell heterogeneity, limits of stability, and escape

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:12.019935Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 8f254116-9021-4754-a499-43795caafb9d · outbound

This paper cites Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:11.972923Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 557194f9-8b5e-41d0-ac12-91831a6b1aa6 · outbound

This paper cites Stable models and an alternative logic programming paradigm.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Stable models and an alternative logic programming paradigm

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:11.854319Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 4f2a3355-7baa-4a5c-b84f-8f60e6b43cbe · outbound

This paper cites On CNF conversion for disjoint SAT enumeration.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks On CNF conversion for disjoint SAT enumeration

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:11.571283Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation c1e71cd1-1da2-4fdc-8f1d-8657de3674ca · outbound

This paper cites Patient-specific Boolean models of signalling networks guide personalised treatments.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Patient-specific Boolean models of signalling networks guide personalised treatments

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:11.391698Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 2498c72f-6627-46c1-b46f-d70569f6cc40 · outbound

This paper cites Essai d'une théorie algébrique des nombres entiers, précédé d'une introduction logique à une théorie déductive quelconque.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Essai d'une théorie algébrique des nombres entiers, précédé d'une introduction logique à une théorie déductive quelconque

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:11.248864Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 1f3518a7-e6c5-46a2-ab67-0968b47068f9 · outbound

This paper cites Repository of logically consistent real-world Boolean network models.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Repository of logically consistent real-world Boolean network models

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:11.135490Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 3b996fe6-5348-4320-9ddd-ba456bb3fb5f · outbound

This paper cites Reconciling qualitative, abstract, and scalable modeling of biological networks.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Reconciling qualitative, abstract, and scalable modeling of biological networks

Reference 55

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:11.025735Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation ed539bb4-d48f-4908-9a97-a83015b12653 · outbound

This paper cites Rozum, Jorge G \' o mez Tejeda Za \ n udo, Xiao Gan, D \' a vid Deritei, and R \' e ka Albert.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Rozum, Jorge G \' o mez Tejeda Za \ n udo, Xiao Gan, D \' a vid Deritei, and R \' e ka Albert

Reference 56

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:10.910447Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 278fcbaf-02ff-40da-9573-29d571e61401 · outbound

This paper cites Metabolic network expansion with answer set programming.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Metabolic network expansion with answer set programming

Reference 57

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:10.783023Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 04859085-1073-4a38-8234-eeea7970e89d · outbound

This paper cites u hlwein, Nensi Ikonomi, Michael K \.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks u hlwein, Nensi Ikonomi, Michael K \

Reference 58

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:10.655101Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 472fa5db-93c8-42ed-a95f-3a684b889ee0 · outbound

This paper cites Reduction for asynchronous Boolean networks: elimination of negatively autoregulated components.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Reduction for asynchronous Boolean networks: elimination of negatively autoregulated components

Reference 59

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:10.532195Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 049744f6-4819-4d56-8fb3-8fedaab8b3f3 · outbound

This paper cites an unresolved cited work.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Unresolved cited work

Reference 60

Resolution: unresolved; raw_fallback, observed 2026-08-07T06:09:10.413036Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 12aae628-8a70-46df-9e69-c8903c022dbe · outbound

This paper cites Dougherty, and Wei Zhang.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Dougherty, and Wei Zhang

Reference 61

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:10.268629Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation b4a0a393-b993-40ad-a0f2-806f350f0bf3 · outbound

This paper cites Gene perturbation and intervention in probabilistic Boolean networks.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Gene perturbation and intervention in probabilistic Boolean networks

Reference 62

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:10.135059Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 113123ff-b6c5-42b1-ad82-d8c9db4d7516 · outbound

This paper cites Sequential temporary and permanent control of Boolean networks.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Sequential temporary and permanent control of Boolean networks

Reference 63

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:10.020440Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation fefe266e-02c9-4d8d-afe5-59dcc08295b8 · outbound

This paper cites sharpSAT - counting models with advanced component caching and implicit BCP.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks sharpSAT - counting models with advanced component caching and implicit BCP

Reference 64

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:09.895489Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 9b2af911-efb7-41ff-8c9b-30150be3481f · outbound

This paper cites Phenotype control and elimination of variables in Boolean networks.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Phenotype control and elimination of variables in Boolean networks

Reference 65

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:09.759259Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation bf4e5e70-00b7-4b36-8df3-00d5b55eaf3b · outbound

This paper cites an unresolved cited work.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Unresolved cited work

Reference 66

Resolution: unresolved; raw_fallback, observed 2026-08-07T06:09:09.648409Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 05127cb3-528b-4377-bb9b-7b96b4da4bcc · outbound

This paper cites Tosic and Gul A.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Tosic and Gul A

Reference 67

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:09.489654Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 396738e2-168f-4522-8b3a-dc18b36e24ea · outbound

This paper cites Scalable enumeration of trap spaces in Boolean networks via answer set programming.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Scalable enumeration of trap spaces in Boolean networks via answer set programming

Reference 68

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:09.299175Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation f211cdcc-4d2f-4ff1-ac11-59c67cab6d61 · outbound

This paper cites mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks

Reference 69

Resolution: unresolved; no resolver link, observed 2026-08-07T06:09:07.175307Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 15e9108d-b662-4457-98fc-73e5c8b13737 · outbound

This paper cites Graphical analysis of abstract argumentation frameworks via Boolean networks.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Graphical analysis of abstract argumentation frameworks via Boolean networks

Reference 70

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:09.100326Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 2ecb76fc-cb8a-46d5-8982-a30bf442d323 · outbound

This paper cites Efficient enumeration of fixed points in complex Boolean networks using answer set programming.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Efficient enumeration of fixed points in complex Boolean networks using answer set programming

Reference 71

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:08.938518Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 3960ce57-fcae-4524-9584-89d60b0bfe9a · outbound

This paper cites Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding

Reference 72

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:08.820394Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 4ae9f621-e436-405d-bb78-66b09a5371d7 · outbound

This paper cites Graphical conditions for the existence, unicity and number of regular models.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Graphical conditions for the existence, unicity and number of regular models

Reference 73

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:08.625040Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 6ac046d8-f830-445a-8578-3aae61f1c889 · outbound

This paper cites Computing attractors of large-scale asynchronous Boolean networks using minimal trap spaces.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Computing attractors of large-scale asynchronous Boolean networks using minimal trap spaces

Reference 74

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:08.469509Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation afd38128-2330-4d19-b57e-79369e5c1ac3 · outbound

This paper cites Mapping the attractor landscape of Boolean networks with biobalm.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Mapping the attractor landscape of Boolean networks with biobalm

Reference 75

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:08.342751Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 61ef711d-cdc0-4260-b6a4-01c93faf9c1a · outbound

This paper cites Learning Boolean logic models of signaling networks with ASP.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Learning Boolean logic models of signaling networks with ASP

Reference 76

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:08.204309Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 38925438-b611-45a0-ade9-3cf04cb12aaa · outbound

This paper cites Rounding meets approximate model counting.

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks Rounding meets approximate model counting

Reference 77

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:08.018469Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers