Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 210,064,150 papers from all fields of science
Search
Sign In
Create Free Account
Journal of Symbolic Computation
Known as:
J. Symbolic Computation
The Journal of Symbolic Computation is a peer-reviewed monthly scientific journal covering all aspects of symbolic computation published by Academic…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
14 relations
Automated theorem proving
Computational geometry
Computer algebra system
Computer science
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Recovering and Utilizing Partial Duality in QBF
Alexandra Goultiaeva
,
F. Bacchus
International Conference on Theory and…
2013
Corpus ID: 16929067
Quantified Boolean Formula (QBF) solvers that utilize non-CNF representations are able to reason dually about conflicts and…
Expand
2012
2012
Optimal controlled variables for polynomial systems
J. Jäschke
,
S. Skogestad
2012
Corpus ID: 46518657
2009
2009
Artifact-Centric Workflow Dominance
Diego Calvanese
,
Giuseppe De Giacomo
,
R. Hull
,
Jianwen Su
ICSOC/ServiceWave
2009
Corpus ID: 2328177
In this paper we initiate a study on comparing artifact-centric workflow schemas, in terms of the ability of one schema to…
Expand
Review
2008
Review
2008
A Survey of Statistical Approaches to Preserving Confidentiality of Contingency Table Entries
S. Fienberg
,
A. Slavkovic
Privacy-Preserving Data Mining
2008
Corpus ID: 726053
In the statistical literature, there has been considerable development of methods of data releases for multivariate categorical…
Expand
2006
2006
SATU : A SYSTEM FOR DISTRIBUTED PROPOSITIONAL SATISFIABILITY CHECKING IN COMPUTATIONAL GRIDS
A. Hyvärinen
2006
Corpus ID: 15426978
In addition to data storage and indexing systems, computational grids are used for solving computationally demanding tasks…
Expand
Highly Cited
2005
Highly Cited
2005
Preserving the Confidentiality of Categorical Statistical Data Bases When Releasing Information for Association Rules*
S. Fienberg
,
A. Slavkovic
Data mining and knowledge discovery
2005
Corpus ID: 1360575
In the statistical literature, there has been considerable development of methods of data releases for multivariate categorical…
Expand
2004
2004
PROOF COMPLEXITY OF CUT – BASED TABLEAUX FOR BOOLEAN CIRCUIT SATISFIABILITY CHECKING
M. Järvisalo
2004
Corpus ID: 13365244
This report deals with propositional satisfiability checking. Most successful satisfiability checkers are based on the Davis…
Expand
Highly Cited
2002
Highly Cited
2002
Runtime Service Composition via Logic-Based Program Synthesis
S. Lämmermann
2002
Corpus ID: 60385402
Dynamic composition of services from components at runtime can help to provide flexible service infrastructures, but requires…
Expand
2001
2001
A Theory of Observables for Logic Programs
M. Comini
,
G. Levi
,
M. Meo
Information and Computation
2001
Corpus ID: 890071
We define a semantic framework to reason about properties of abstractions of SLD-derivations. The framework allows us to address…
Expand
1996
1996
Turchin's Supercompiler Revisited - An operational theory of positive information propagation
M. Sørensen
1996
Corpus ID: 115475047
Turchin`s supercompiler is a program transformer that includes both partial evaluation and deforestation. Although known in the…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE