Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
Discussion
View history
Purge
English
Log in
No label defined
(Q2741521)
From MaRDI portal
Jump to:
navigation
,
search
scientific article
Language
Label
Description
Also known as
English
No label defined
scientific article
Statements
instance of
scholarly article
0 references
zbMATH Open document ID
0990.90564
0 references
author
Renato Bruni
0 references
Antonio Sassano
0 references
publication date
24 September 2001
0 references
Mathematics Subject Classification ID
90C27
0 references
90C59
0 references
zbMATH DE Number
1642920
0 references
zbMATH Keywords
heuristic
0 references
describes a project that uses
Leibniz
0 references
MaRDI profile type
MaRDI publication profile
0 references
cites work
Q4263701
0 references
Q4247437
0 references
Q4473049
0 references
Q4444470
0 references
Q4255462
0 references
Locating Minimal Infeasible Constraint Sets in Linear Programs
0 references
A machine program for theorem-proving
0 references
Q3145805
0 references
Branching rules for satisfiability
0 references
Q4139711
0 references
Solving satisfiability in less than \(2^ n\) steps
0 references
Q4705311
0 references
Sitelinks
Mathematics
(1 entry)
mardi
Publication:2741521
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
Concept URI
